Я заинтересован в создании элементов контекстно-зависимого языка, описанного Хомским, как описано в Классификации грамматик Хомского в разделе «Тип - грамматика 1».
(В основном, аналогично стандартной контекстно-свободной грамматике, но допускает использование нескольких символов в левой части производственного правила, включая терминалы).
Я знаю о грамматиках с определенным предложением в Прологе, но не вижу очевидногоотображение между этими и контекстно-зависимыми языками Хомского.Существует ли «универсальный» способ использования структуры DCG для описания производственных правил с несколькими символами слева или мне нужен специальный подход для каждого отдельного языка?