構文解析
↑ たとえば、多くのプログラミング言語では、関数や手続きの定義で「仮引数の並び」に、同じ名前の引数が複数個現れることは文法違反であるとしているが、そのようなルールを構文規則として埋め込むのは現実的ではない。
↑ 前述のように、プログラミング言語の場合など、文脈自由文法で必ずしも完全には定義できない場合も多い。