Формальные языки и трансляции 4. Контекстно-свободные грамматики, введение

3:15 - Определения основных объектов 18:20 - Теорема о праволинейности автоматных языков 21:09 - Лемма о связи достижимости и грамматики 27:45 - 1 часть доказательства 31:13 - 2 часть доказательства 36:54 - Определение дерева вывода 43:22 - Подклассы выводов 52:04 - Определение порождающего символа 58:44 - Алгоритм нахождения достижимых символов 1:09:34 - Теорема о существовании грамматик без eps-правил Лекция от 27 сентября 2019 Лектор: Сорокин Алексей Андреевич Снимала: Рухадзе Альбина Монтировал: Бердовский Алексей