min_pascal语言的语法.txt

min_Pascal语言的语法

min_Pascal语言的语法用BNF描述如下（空语句用empty表示）：
<程序>			::=  <分程序>.
<分程序>		::=  [<变量说明部分>][<常量说明部分>] [<过程说明部分>]<语句>
<常量说明部分>	::=  const<常量定义>{,<常量定义>};
<常量定义>		::=  <标识符>=<无符号整数>
<无符号整数>	::=  <数字>{<数字>}
<标识符>		::=  <字母>{<字母>|<数字>}
<变量说明部分>	::=  var<标识符>{, <标识符>};
<过程说明部分>	::=  <过程首部><分程序>{;<过程说明部分>};
<过程首部>		::=  procedure<标识符>;
< 语句>			::=  <赋值语句>|<条件语句>|<当循环语句> |<过程调用语句>|<复合语句>|<读语句>|<写语句>|<空>
<赋值语句>		::=  <标识符> := <表达式>
<表达式>		::=   [+|-]<项>{<加法运算符><项>}
<项>			::=  <因子>{<乘法运算符><因子>}
<因子>			::=  <标识符>|<无符号整数>| ‘ ( ’ <表达式> ‘ ) ’
<加法运算符>	::=  +|-
<乘法运算符>	::=  *|/
<条件>			::=  <标识符><关系运算符><表达式>|odd<表达式>
<关系运算符>	::=   =|<>|<|<=|>|>=
<条件语句>		::=  if<条件>then<语句>
<当循环语句>	::=  do<语句> while<条件>
<过程调用语句>	::=  call<标识符>
<复合语句>		::=  begin<语句>{;<语句>}end
<读语句>		::=  read ‘ ( ’<标识符>{, <标识符>} ‘ ) ’
<写语句>		::=  write ‘ ( ’<表达式>{, <表达式>} ’ ) ’
<字母>			::=  a|b|c|d…..x|y|z
<数字>			::=  0|1|2|3…...8|9