Лемма 12.11
Содержание (FireFox,Safari)

12.11. Лемма

ВС vs*, являющаяся суммой неких vsi, (i = 1..N), является также прообразом для каждой из ВС-сомножителей vsi.

Доказательство

Непосредственно следует из определения 8.7, согласно которому для каждого состояния s из vsi в vs* найдётся его прообраз – некое состояние s*. █

Назад Вперёд
 ru/en