Изменения

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

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

217 байт убрано, 08:42, 12 ноября 2011
Нет описания правки
== Язык автомата ==
{{Определение|definition=<tex>L(\mathcal{A})=\{\alpha| \exists t: \langle s, \alpha \rangle \vdash^* \langle t, \varepsilon \rangle t \in T\}</tex> --- язык автомата <tex>\mathcal{A}</tex>.}}
== Пример ==
38
правок

Навигация