セクション「Type - 1 Grammar」の下のChomsky Classification of Grammarsで説明されているように、Chomsky によって記述された文脈依存言語の要素を生成することに興味があります。
(基本的に、標準の文脈自由文法に似ていますが、ターミナルを含む生産規則の左側に複数の記号を許可します)。
Prolog の定節文法については知っていますが、それらとチョムスキーの文脈依存言語との間の明確なマッピングは見当たりません。DCG フレームワークを使用して、左側に複数の記号を含むプロダクション ルールを記述する「普遍的な」方法はありますか?それとも、個々の言語ごとにアドホックなアプローチが必要ですか?