形式言語

もとになる記号の集合（アルファベット）と、生成規則（文法）から、生成することの出来る文字列（言葉）の集合を形式言語（formal language）と呼ぶ。

プログラミング言語などをモデル化したもの。

プログラム言語のように、厳格な文法によって生成された言語を形式言語と呼ぶ。

形式言語は、一般に、字句規則・構文規則・意味規則で規定される。

字句規則は、識別子や演算記号、定数といった要素（トークン）の表記法を定め、

構文規則は、文や式の形式を示すものである。

意味規則は、構文の意味を規定するものである。