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