Формальные языки и трансляции 12. LR(k) грамматики

Дата лекции: 22.11.22
Лектор: Кондратюк Виталий Вячеславович

00:00:00 -- Зачем нужен LR(k)? Краткое описание алгоритма
00:15:00 -- Определение LR(k) грамматики
00:17:20 -- определение first_k
00:25:40 -- Допустимая ситуация
00:32:37 -- Closure
00:39:25 -- Вопрос из зала по определению LR(k)
00:41:20 -- Теорема: другое определение LR(k) грамматики
00:49:20 -- Определение EFF
00:51:40 -- Доказательство теоремы. Необходимость
01:14:50 -- Достаточность

Съёмка: Игорь Сенин
Монтаж: Александр Стешенко

[roman]

Наглядный пример как не стоит вести лекции)