Формальные языки и трансляции 9. Алгоритм переноса-свертки

Описание: Примечание: 41:50 - момент, когда обнаруживается тот факт, что была дана неверная формулировка леммы об анализаторе перенос-свертка

1:50 - Доказательство утверждения теоремы (см. пред. лекцию) справа налево
13:40 - Алгоритм перенос-свертка
15:00 - Основные определения
20:26 - Лемма об анализаторе перенос-свертка
35:00 - Доказательство в обратную сторону
47:12 - Определение активного префикса
48:30 - Утверждение
51:03 - Основные определения

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

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