Изменения

Перейти к: навигация, поиск

Недетерминированные конечные автоматы

93 байта убрано, 01:39, 7 октября 2010
→‎Теорема
Память <tex>|Q|^2||\Sigma|</tex>.
 
== Теорема ==
{{Теорема
|statement=
α(ДКА) = α(НКА)
|proof=
proof.
}}
Dolganov.vlad
18
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/3130»

Навигация