計算機科学において、形式文法が曖昧な文法（英: Ambiguous grammar）であるとは、文字列の解釈が複数存在することを意味する（すなわち、構文木が複数対応する）。言語が「本質的に曖昧」であるとは、その言語が曖昧な文法でしか生成できないことを意味する。プログラミング言語にも曖昧な文法のものがある。その場合、構文解析時に意味的情報を加味しないと正しい解釈ができない。例えば、C言語での次の表記があるとする。これは、識別子 codice_1 を codice_2 へのポインタとして宣言しているとも解釈できるし、codice_2 と codice_1 の乗算の式とも解釈できる（後者の場合、式の値は捨てている）。2つの可能な解釈の一方を選択するため、コンパイラはシンボルテーブルを参照して codice_2 が typedef 名としてその時点で定義されているかどうかを確認しなければならない。次の文脈自由文法は、文字列 a + a + a を解釈するにあたって2種類の解釈が存在するため（左端導出の導出過程が2つ存在する）、曖昧である。また、文字列 a + a − a の解釈は次の2通り存在するため、文法は曖昧である。しかし、この文法から生成される言語は「本質的に曖昧」ではない。次のような曖昧でない文法でも、同じ言語を生成できる。ある文法が曖昧かどうかという問題は一般に判定不能である。文法の曖昧性を判定できるアルゴリズムは存在しない。もし存在するとすれば、停止性問題（判定不能）を曖昧性問題に変換可能であるため、矛盾が生じる。決定性構文解析器で曖昧な文法を構文解析することには困難が伴うが、非決定性構文解析では効率が大幅に低下する。一般に構文解析で処理したいものの大半は曖昧でない文法で解釈可能である。曖昧な文法の中には曖昧でない文法に変換できるものもあるが、曖昧な文法を検出できるアルゴリズムがないのと同様、変換の汎用的な手法も存在しない。yacc などのコンパイラコンパイラには、曖昧な部分を曖昧でなくするための機能として、前後関係の制約条件を記述するなどの方式がある。ある言語（文法によって生成される文字列の集合）は曖昧な文法と曖昧でない文法と対応しているが、曖昧でない文法とは対応しない言語も存在する。本質的に曖昧な言語の例として、formula_1 と formula_2 の和集合がある。これは文脈自由言語の和集合なので文脈自由だが、参考文献に挙げた "Introduction to Automata Theory..." には、2つの言語の積集合 formula_3 の部分集合（文脈自由でない）の文字列を曖昧でなく構文解析する方法がないことの証明が掲載されている。

出典:wikipedia