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

00:03:08 План 00:07:08 определение порождающей грамматики 00:18:25 пример порождающей грамматики 00:21:50 определение отношения штопора 00:24:40 определение слово выводимо в грамматике 00:26:30 Иерархия Хомского 00:35:07 пример a^n b^n 00:41:51 множество автоматных языков равно множеству языков, задаваемых праволинейными грамматиками 00:44:02 доказательство достаточности 00:58:00 об экзамене 00:59:00 продолжение доказательства 01:00:48 доказательство необходимости 01:02:06 пример 01:08:30 дерево вывода контексно-зависимой грамматики 01:11:08 определение дерева вывода 01:13:08 пример вывода 01:18:51 пример правильные скобочные последовательности 01:21:00 утверждение: КС-языки замкнуты относительно объединения, конкатенации, итерации клини 01:24:30 спойлеры к следующей лекции Дата лекции: Лектор: Ахтямов Павел Ибрагимович Оператор: Татаринов Гера Монтажёр: Ванков Илья