終端記号

文法上、これ以上分解することができない(他の記号に置き換えることができない)記号のこと。

多くの解説では、アルファベットの小文字を使って示す。

例えば、プログラミング言語の文法として以下のような文法があった時

if-statement → 'if' expr 'then' expr 'else' expr

if-statement, expr は非終端記号で、'if', 'then', 'else' は終端記号になる。

多くの解説書では、大文字を非終端記号、小文字を終端記号として表すのが一般的。

S → XaYb のように書いたりする。