形式言語

文法規則によって、どの文字列が正しいかを厳密に定義した言語。BNFなどで規則を書き表す。日本語のようなあいまいさがないため、プログラム言語の構文定義やコンパイラの解析理論の基礎になる。

定められた記号の集合（アルファベット）と生成規則（文法）によって、どの記号列が正しい文かが厳密に決まる言語。正規言語や文脈自由言語などの階層があり、プログラミング言語の構文の定義、コンパイラの構文解析、正規表現などの理論的な基礎となる。