Формальные языки и трансляции 10. LR-ситуации и их свойства

preview_player
Показать описание
6:30 основные определения
20:09 обозначения
20:22 лемма
23:08 доказательство леммы
25:00 лемма об операции First()
35:26 формальное определение увеличения дерева вниз
38:46 следствие из леммы
47:00 лемма
47:20 доказательство леммы
1:05:20 определение операции GOTO()
1:07:34 лемма
1:08:32 доказательство леммы

Лекция от 15 ноября 2019
Лектор: Сорокин Алексей Андреевич

Оператор: Рухадзе Альбина
Монтаж: Юманов Михаил
Рекомендации по теме
Комментарии
Автор

6:30 основные определения
20:09 обозначения
20:22 лемма
23:08 доказательство леммы
25:00 лемма об операции First()
35:26 формальное определение увеличения дерева вниз
38:46 следствие из леммы
47:00 лемма
47:20 доказательство леммы
1:05:20 определение операции GOTO()
1:07:34 лемма
1:08:32 доказательство леммы

lectory_fpmi