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

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