文脈自由文法にパラメータを追加するとどうなりますか？

私は、インデンテーションに敏感な言語の文法を考えていましたが、パラメータと組み合わせた場合、CF文法がトリックを行うようです。例として、ANTLRのような形式の単純化されたPython文法の次のフラグメントを考えます。

// on top-level the statements have empty indent
program  
    : statement('')+
    ;

// let's consider only one compound statement and one simple statement for now
statement(indent) 
    : ifStatement(indent)
    | passStatement(indent)
    ;

passStatement(indent)
    : indent 'pass' NEWLINE
    ;

// statements under if must have current indent plus 4 spaces
ifStatement(indent)
    : indent 'if' expression ':' NEWLINE (statement(indent '    ')+)
    ;

私の質問：この種の文法（パラメーター付きのCFG）には名前がありますか？

この文法の再帰降下パーサーを書くのは難しくないようです（パラメーターは基本的にパーサーでなければなりません）。このアプローチの難しさは何でしょうか？

パラメータを追加すると、サポートされている言語クラスがコンテキストフリーになりますか？

接辞文法（パラメータ化された文脈自由文法）は、著名なオランダのコンピューター科学者Cornelis HA Kosterによって広範に研究されました。1970年に、彼はこの概念の形式を作成しました。有用な概要は、1971年の彼の論文「プログラミング言語の接辞文法」にあります。これはCiteseerで見つけたものです。

その論文では、Kosterは彼の形式（および別の類似の形式）をVan Wijngaardenの2レベルの文法と比較し、それらが非常に類似していることを発見しました。

解析技術に関する Dick Gruneの貴重な注釈付き参考文献には、接辞文法や他の非チョムスキー形式の有用な参考文献が多数含まれています。（参考文献の参照セクション18.2.6は、他のセクションに有用論文があるが。）Gruneカバーがで文法を簡単に貼り付ける手法の解析の第二版の§15.3.2：実践ガイド（および初版でさらに簡単に、オンラインで入手可能）トップダウン（およびその他の）解析手法を簡単に適用できるという事実に言及しています。

$a^n b^n c^n$

Algol 68レポートの編集者でもあるKosterは、接辞文法に関する彼のアイデアに基づいて、コンパイラ記述言語（CDL）の最初の開発者でした。このツールキットとその後の派生物は、長年にわたって生産に使用されていました。Google検索で見つけた永続性を保証できないこのページには、CDL3のマニュアルおよびダウンロードサイトへのリンクがあります。

CFGのポンピング補題を使用します。

文法を取る

S -> A("")
A(p) -> p 
      | p '\n' A(p"*") '\n' p 

これは星形の三角形について説明しています。

*
**
***
**
*

$uvwxy$$\{uv^nwx^ny|n>0\}$$vx$

これは、星の三角形が文脈自由言語ではないことを意味します。

または、より簡単な例：

S-> B("")
B(p)-> p 'a' p 'a' p
     | B(p 'b')

$\{b^nab^nab^n | n\ge0 \}$

この定式化が（Gruneの構文解析テクニックのようなものでさえ）提示されるのを見たことがありません。正確に「パラメーターは基本的にパーサーでなければなりません」無制限のフェーズ構造文法（つまり、コンテキスト依存よりも強力な、すべての停止プログラムを提供するVW文法を書くことができます）。