Изменения

* Вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось). Итого, придумать, куда выпилить, и сделать интервики из прошлого конспекта

<li> [[Решение уравнений в регулярных выражениях]] </li>

# Добавить примеров различных языков (half, cycle, см. ХМУ) с доказательствами их регулярности

<li> '''!!!''' [[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]] (5) </li>