Изменения

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

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

2 байта убрано, 21:27, 17 ноября 2011
Язык автомата
|definition =
Множество слов, допускаемых автоматом <tex> \mathcal{A} </tex>, называется '''языком НКА''' <tex> \mathcal{A} </tex>.
* <tex> \mathcal{L}(\mathcal{A}) = \lbrace w | \exists t \in T : \langle s, w \rangle \vdash^* \langle t, \varepsilon \rangle \rbrace </tex>
}}
Анонимный участник

Навигация