442
правки
Изменения
→Свойства конечных автоматов
*[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]
*[[Контексты и синтаксические моноиды]]
*[[Булевые формулы с кванторами как игры для двух игроков]]
=== Другие автоматы ===
*[[Локальные автоматы]]<tex> ^\star </tex>
