1632
правки
Изменения
м
rollbackEdits.php mass rollback
*[[Детерминированные конечные автоматы]]
*[[Прямое произведение ДКА]]
*[[Преобразование регулярного выражения в ДКА]]
*[[Простой сопоставитель регулярных выражений]] <tex> \star </tex>
*[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]
*[[Контексты и синтаксические моноиды]]
*[[Булевые формулы с кванторами как игры для двух игроков]]
=== Другие автоматы ===
*[[Локальные автоматы]]<tex> ^\star </tex>
