ＢＮＦ（形式言語）＜ハードウェアとソフトウェア＜Ｗｅｂ教材＜木暮仁

学習のポイント プログラミング言語の設計をするには文法を明確にするには、それを定義する形式言語が必要になります。ここでは、形式言語の代表例であるＢＮＦとその周辺について学習します。 キーワード 形式言語、文脈自由文法、ＢＮＦ、生成規則、構文図 自然言語と形式言語 日本語や英語など、自然に発生したため、必ずしも文法に従っていない言語を自然言語といいます。それに対して、プログラム言語のように、厳格な文法によって生成された言語を形式言語といいます。 チョムスキーは，言語を文法に従うレベルにより、次の４つに区分しました。 タイプ 文法 オートマトン 言語例 ０型 句構造文法 チューリングマシン ┐ １型 文脈依存文法 線形有界オートマトン ┴自然言語 ２型 文脈自由文法 プッシュダウンオートマトン プログラム言語 ３型 正規文法 有限オートマトン

[t_mimori]

BNF