编译原理 PL/0的文法分析

首先给出PL/0的文法：
〈程序〉→〈分程序〉.

〈分程序〉→ [<常量说明部分>][<变量说明部分>][<过程说明部分>]〈语句〉

<常量说明部分> → CONST<常量定义>{ ,<常量定义>};

<常量定义> → <标识符>=<无符号整数>

<无符号整数> → <数字>{<数字>}

<变量说明部分> → VAR<标识符>{ ,<标识符>};

<标识符> → <字母>{<字母>|<数字>}

<过程说明部分> → <过程首部><分程序>;{<过程说明部分>}

<过程首部> → procedure<标识符>;

<语句> → <赋值语句>|<条件语句>|<当型循环语句>|<过程调用语句>|<读语句>|<写语句>|<复合语句>|<空>

<赋值语句> → <标识符>:=<表达式>

<复合语句> → begin<语句>{;<语句>}end

<条件> → <表达式><关系运算符><表达式>|odd<表达式>

<表达式> → [+|-]<项>{<加减运算符><项>}

<项> → <因子>{<乘除运算符><因子>}

<因子> → <标识符>|<无符号整数>|(<表达式>)

<加减运符> → +|-

<乘除运算符> → *|/

<关系运算符> → =|#|<|<=|>|>=

<条件语句> → if<条件>then<语句>

<过程调用语句> → call<标识符>

<当型循环语句> → while<条件>do<语句>

<读语句> → read(<标识符>{,<标识符>})

<写语句> → write(<表达式>{,<表达式>})

<字母> → a|b|c…x|y|z

<数字> → 0|1|2…7|8|9

对于算术表达式：
<表达式> ::= [+|-]<项>{<加法运算符> <项>}
<项> ::= <因子>{<乘法运算符> <因子>}
<因子> ::= <标识符>|<无符号整数>| ‘(’<表达式>‘)’
<加法运算符> ::= +|-
<乘法运算符> ::= *|/

首先定义：
P：文法的开始符号
E：表达式
T：项
F：因子
I：标识符
S：加法运算符
M：乘法运算符
N：无符号整数

P->E
E->TE|STE|ε
T->FT|MFT|ε
F->I|N|(E)
S->+|-
M->|/
I->(a|b|…|z)I|(a|b|…|z)I(0|…|9)|ε
N->(1|…|9)(0|…|9)|0

其中:
终结符：+，-，*，/，（，