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