|
Содержание (FireFox,Safari)
|
9.19. ЛеммаВС vs*, являющаяся И-ЛИБО соединением неких vsi (i = 1..N), является также прообразом для каждой из ВС-сомножителей vsi.
ДоказательствоНепосредственно следует из определения 7.10 произведения состояний, согласно которому для каждого состояния s из vsi в vs* существует его прообраз – некое состояние s*. █
Назад Вперёд |
ru/en |