Изменения

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

Участник:Dgerasimov/Тикеты по конспектам year2011

140 байт добавлено, 19:17, 16 октября 2013
Автоматы и регулярные языки
#: см. 1
# [[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]
## <tex>paths</tex> выглядит мерзко, такие штуки надо оборачивать в какой-нибудь \mathrm
# [[Интерпретация булевых формул с кванторами как игр для двух игроков]]
#: вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось)

Навигация