Теория формальных языков

Материал из Викиконспекты
Перейти к: навигация, поиск


Символом [math] \star [/math] помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.

Автоматы и регулярные языки[править]

Регулярные языки и ДКА[править]

НКА[править]

Минимизация ДКА[править]

Свойства конечных автоматов[править]

Другие автоматы[править]

Контекстно-свободные грамматики[править]

Базовые понятия о грамматиках[править]

Нормальные формы КС-грамматик[править]

Алгоритмы разбора[править]

Опровержение контекстно-свободности языка[править]

МП-автоматы[править]