ノンターミナル

プログラミング言語の構文解析において、変数はノンターミナル記号として扱われる。

文脈自由文法では、ノンターミナル記号が別の記号に書き換えられる。

このアルゴリズムは、ノンターミナル要素の再帰的な定義に基づいて設計されている。