3622
правки
Изменения
м
→Свойства конечных автоматов
* Вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось). Итого, придумать, куда выпилить, и сделать интервики из прошлого конспекта
<li> [[Решение уравнений в регулярных выражениях]] </li>
<li> '''!!!взяли''' [[Замкнутость регулярных языков относительно различных операций]] (6) </li>
# Добавить примеров различных языков (half, cycle, см. ХМУ) с доказательствами их регулярности
<li> '''!!!''' [[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]] (5) </li>
