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

9.11. Лемма

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

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

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

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