文法には4つの語彙要素があります
G = (S, N, T, P)
ここで、G = 文法、S = 開始記号、N = 非終端記号、T = 終端記号、P = 生産規則
私が知っているように、Pは他の語彙素に置き換えることができる語彙素であるため、Nが常にPと等しいかどうかを知りたかった
したがって、この例では:
<program> --> <stmts>
<stmts> --> <stmt> | <stmt> ; <stmts>
<stmt> --> <var> = <expr>
<var> --> a | b | c | d
<expr> --> <term> + <term> | <term> - <term>
<term> --> <var> | const
S: <program>
N: <program>, <stmts>, <var>, <expr>, <term>
T: ;, a, b, c, d, +, -, const
P: <program>, <stmts>, <var>, <expr>, <term>
そうですか?