Изменения

Перейти к: навигация, поиск

Участник:Shersh/Тикеты к 5ому терму

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

Навигация