76
правок
Изменения
м
Нет описания правки
Множество <tex>L(\mathcal{A})=\{\alpha| \langle s, \alpha \rangle \vdash^* \langle t, \varepsilon \rangle t \in T\}</tex> называется '''языком автомата <tex>\mathcal{A}</tex>'''. Множество языков всех автоматов образует множество '''автоматных языков''' <tex>Aut</tex>.
}}
Иначе говоря, языком автомата является множество всех допускаемых им слов. Произвольный язык является автоматным, если существует автомат, допускающий те и только те слова, которые принадлежат языку.
== Способы представления автомата ==
* Диаграмма переходов — граф, в котором состояниям соответствуют вершины, а рёбрам — переходы между состояниям
