Лекции по ЛОИ (лингвистические основы информатики) aka Компиляторы

Материалы

Определение выглядит вот так:

Df Что-то определяется вот так:

Вот так вот так

Теорема выглядит вот так:

Th Что-то как-то (1)

Вот так вот так

А вот так лемма:

Lm бла-бла

Их доказательство:

Pf 1

Потому-то вот так

Если очевидно, к какой теореме или лемме доказательство, то номер можно опустить (Вместо номера можно хоть гуид лол)

Вот так выглядит алгоритм:

Al Что-то того-то

Раз раз раз

Лекция 1 Структура языка, базовые определения

Лекция 2 Праволинейные грамматики, КСГ, дерево вывода

Лекция 3 Приведенные грамматики, $\lambda$-свободные грамматики

Лекция 4 Нормальная форма Хомского, Pumping lemma

Лекция 5 Свойства КС-грамматик

[Лекция 6] TODO

Лекция 7 и 8 Алгоритм Кока-Янгера-Касами. МПА. Конфигурации ДМПА и НМПА.