Формальные языки 14. Нормальная форма Грейбах

00:00:00 - Введение
00:00:51 - Верно ли, что образ конечного преобразования КС-языка тоже КС-язык?
00:19:39 - Как доказать более сложным образом?
00:21:48 - О нормальной форме Грейбах
00:24:10 - Плюсы и минусы нормальной формы Грейбах
00:25:39 - Как привести грамматику к нормальной форме Грейбах?
00:37:08 - Утверждение, связывающее старую и новую грамматики
00:49:24 - Почему грамматика получится эквивалентной?
00:59:15 - К какому виду можно привести любой МП-автомат?
01:08:00 - Почему пересечение любого КС-языка с регулярным языком является КС-языком?

Дата лекции: 7.12.2021
Лектор: Ахтямов Павел

Монтаж: Алексей Горбулев