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