语法有4个词汇元素
G = (S, N, T, P)
其中 G = 语法,S = 起始符号,N = 非终结符,T = 终结符,P = 生产规则
我想知道 N 是否总是与 P 相等,因为我知道 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>
是对的吗?