チョムスキー標準形

言語の理論（形式言語の理論）において、次のような生成規則のみからなる文法をチョムスキー標準形（チョムスキーひょうじゅんけい）という。
ここで、"A "、 "B" および "C" は非終端記号、α は終端記号であり、"S"は開始記号を表し、ε は空列を表すものとする。
また、チョムスキー標準形には次のような性質が挙げられる。
これらの性質から、言語理論や計算複雑性理論の分野における証明では、しばしばチョムスキー標準形が用いられる。また、CYKアルゴリズム（チョムスキー標準形の文法が与えられた文字列を生成できるか否かを決定するアルゴリズム）のように、様々な効率的なアルゴリズムの基礎となっている。
チョムスキー標準形の名前はノーム・チョムスキーにちなむ。