終端記号と非終端記号
非終端記号とは、置換されうる記号のことであり、構文変数 と呼ばれることもある。