Формальные языки и трансляции 5. Порождающие и праволиненйные грамматики

Таймкоды: 00:00:00 Определение порождающей грамматики 00:04:10 Классы грамматик 00:08:05 Эквивалентность грамматик и автоматов 00:10:37 Построение автомата по грамматике 00:29:04 Доказательство соответствия языков 00:31:30 Пример автомата 00:34:00 Алгоритм построения грамматики из автомата 00:37:18 Правила грамматики 00:40:09 Введение в конструкцию автомата 00:41:45 Преобразование переходов 00:42:42 Алгоритм управления переходами 00:52:20 Доказательство изоморфизма 00:57:40 Заключение и переход к контекстно-свободным языкам 00:58:46 Введение в дерево вывода 01:09:31 Нормальная форма Хомского 01:11:56 Алгоритм вывода Дата лекции: 02.10.25 Лектор: Ахтямов Павел Ибрагимович Оператор: Гумерова Лэйла Монтажёр: Гумерова Лэйла Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbFjcQTVmo7diaFmk8ypIDr Плейлист