3622
правки
Изменения
→1. Автоматы и регулярные языки
## Добавить ссылки
## Добавить ещё что-нибудь про то, где используются такие системы (кроме теоремы Клини)
# '''!!!''' [[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]
## Написать, почему получение регулярного выражение из системы уравнений лучше, чем напрямую из теоремы Клини
# '''!!!''' [[Замкнутость регулярных языков относительно различных операций]]## Добавить примеров различных языков (half, cycle, см. ХМУ) с доказательствами их регулярности
# [[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]
# [[Интерпретация булевых формул с кванторами как игр для двух игроков]]
