38
правок
Изменения
Нет описания правки
== Процесс допуска ==
НКА допускает слово <tex> \alpha </tex>, если существует путь из начального состояния в какое-то терминальное, такое что буквы, выписанные с переходов на этом пути по порядку, образуют слово <tex> \alpha </tex>.
Теперь это опишем более формально.
{{Определение
|definition =
}}
{{Определение
