Формальные языки и трансляции 7. Алгоритм CYK. Лемма о разрастании для КС языков. НФ Грейбах

Дата лекции: 18.10.22 Лектор: Ахтямов Павел Ибрагимович Презентация к лекции:
00:00:00 -- Напоминание: удаление эпсилон-порождающих 00:12:38 -- Шаг 6. Обработка пустого слова 00:17:05 -- Шаг 7. Цепные правила, пасынкование дерева вывода 00:29:25 -- Принадлежность слова грамматике. Решение динамикой по подотрезкам (алгоритм Кока-Янгера-Касами, CYK) 00:38:40 -- План. Высота дерева вывода 00:40:20 -- Лемма о разрастании для КС языков 00:51:15 -- Пример применения леммы 01:06:15 -- Нормальная форма Грейбах 01:08:40 -- Приведение грамматики к НФ Грейбах Съёмка: Игорь Сенин Монтаж: Александр Стешенко