D o k a ž m e d r u h é tvrzení lemmatu. Jestliže stav [ p ] je ekviva lentní stavu [q], z namená to, že
p r o každé w e 27*. T o podle definice a u t o m a t u $Í\
D o k a ž m e d r u h é tvrzení lemmatu. Jestliže stav [ p ] je ekviva lentní stavu [q], z namená to, že
p r o každé w e 27*. T o podle definice a u t o m a t u $Í\
Poslední komentáře
1 rok 15 týdnů zpět