Формальные языки 12. Свойства LR-алгоритма

0:16 - Доказательство корректности LR-анализатора 1:32 - Доказательство полноты LR-анализатора 27:57 - Теорема о корректности LR-алгоритма 37:37 - Теорема о сложности LR-алгоритма (б/д, идея) 39:40 - Основные определения (ДМП-автомат, etc.) 44:13 - Теорема о языке, распознаваемом ДМП-автоматом с $ 47:39 - Лемма 51:56 - Завершение доказательства теоремы 58:08 - Теорема о нормальных формах ДМП-автомата 1:11:30 - Следствие теоремы: приведение переходов ДМП-автомата к хорошему виду Лекция от 29 ноября 2019 Лектор: Сорокин Алексей Андреевич Оператор: Бердовский Алексей Монтаж: Бердовский Алексей