Изменения

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

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

733 байта добавлено, 19:31, 16 октября 2013
Автоматы и регулярные языки
#: вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось)
# [[Доказательство нерегулярности языков: лемма о разрастании]]
## пофиксить неправильное доказательство. Точнее, может, оно и правильное, но не нужно, так как не показывает пример нерегулярного языка, для которого лемма о накачке выполняется.
## добавить ссылок на англоязычные источники, добавить в статью англоязычные термины
# [[Решение уравнений в регулярных выражениях]]
# [[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]
# [[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]
# [[Контексты и синтаксические моноиды]]
## добавить английских терминов
## доказательство последнего утверждения
## вообще написать что-нибудь еще бы, типа зачем оно вообще надо.

Навигация