1679
правок
Изменения
→1. Автоматы и регулярные языки
# [[Замкнутость регулярных языков относительно различных операций]]
#: см. 1
# ''fixed'' [[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]
## <tex>paths</tex> выглядит мерзко, такие штуки надо оборачивать в какой-нибудь \mathrm
# [[Интерпретация булевых формул с кванторами как игр для двух игроков]]
