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