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