Перетворення CFG в КПК

Чи є набір правил або методів для перетворення будь-якої контекстної граматики в автоматичні автоматичні системи?

Я вже знайшов деякі слайди в Інтернеті, але не зміг їх зрозуміти.

На слайді 10 він говорить про деякі правила, чи може хтось це пояснити?

перевірити вікіпедію, і це питання . Ідея полягає в тому, щоб генерувати слово (використовуючи граматику) на стеку і співставляти його з вхідним. Трюк - робити це паралельно - генерувати частину слова, перевіряти, генерувати ще щось, перевіряти і т. Д.

— Ran G.

Відео, яке висвітлює цю тему, і його легко зрозуміти: youtube.com/watch?v=MJ9xNavURY8

— Ran G.

Фактичні правила цієї конструкції наведені на слайді 7 у цій презентації. Вікіпедія називає ці правила "відповідністю" та "розширенням".

Слайди, якими ви користуєтесь, - з курсу Джеффа Улмана, схоже. (Один із авторів відомої книги про формальні мови та автомати). Він також підготував онлайн-курс на цю тему, де, мабуть, сам пояснить деталі.

— Гендрік Ян
джерело