Изменения

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

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

6 байт убрано, 19:12, 26 ноября 2014
Автоматные языки
{{Определение
|definition=
Множество <tex>L(\mathcal{A})=\{\alpha| \exists t \in T : \langle s, \alpha \rangle \vdash^* \langle t, \varepsilon \rangle\}</tex> называется '''языком автомата <tex>\mathcal{A}</tex>'''.
}}
Иначе говоря, языком автомата является множество всех допускаемых им слов. Произвольный язык является автоматным, если существует ДКА, допускающий те и только те слова, которые принадлежат языку.
Анонимный участник

Навигация