形式文法

-BNFの概要- バッカス・ナウア記法（BNF）は、言語の構文を明確かつ簡潔に記述するための記法です。形式文法の一種であり、記号と生成規則を使用して、言語の文（述語）を生成する方法を定義します。BNFは、コンパイラやインタープリタなどのコンピュータ言語処理のためのツールとして広く使用されています。 BNF生成規則では、非終端記号が終端記号または他の非終端記号のシーケンスで置き換えられます。非終端記号は、言語の文法的要素を表す抽象的な記号です。一方、終端記号は、実際に言語で使用する単語や記号です。