3622
правки
Изменения
м
→Свойства конечных автоматов
# Доказательство леммы о накачке в общем виде
# Отформатировать по правилам
<li> ''взялиfixed'' [[Интерпретация булевых формул с кванторами как игр для двух игроков]] (1) </li>
* Вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось). Итого, придумать, куда выпилить, и сделать интервики из прошлого конспекта
<li> [[Решение уравнений в регулярных выражениях]] </li>
