3622
правки
Изменения
→1. Автоматы и регулярные языки
# [[Интерпретация булевых формул с кванторами как игр для двух игроков]]
#: вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось)
# '''!!!''' [[Доказательство нерегулярности языков: лемма о разрастании]]## Ещё один пример нерегулярного языка, для которого выполнена лемма о разрастании (с википедии)## Доказательство леммы о накачке в общем виде
# [[Эквивалентность состояний ДКА]]
## Добавить ссылок
