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