语法.txt

扩展后的mini-pl0语法编译器

min_Pascal语言的语法用BNF描述如下（空语句用empty表示）：
<程序> -> Program<程序名>；<块体>?
<块体> -> [<常数定义部份>]［<类型定义部份>][<变量定义部分>]
        {<过程定义>}<复合语句>
<常数定义部份> -> const <常数定义>{<常数定义>}
<常数定义> -> <常数名>＝<常数>；
<类型定义部份> -> type <类型定义>{<类型定义>}
<类型定义> -> <类型名>＝<新类型>；
<新类型> -> <数组类型>|<记录类型>
<数组类型> -> array[<下标域>] of <类型名>
<下标域> -> <常数>??<常数>
<记录类型> -> record<域表>end
<域表> -> <记录节>{；<记录节>}
<记录节> -> <域名>{,<域名>}：<类型名>
<变量定义部份> -> var<变量定义>{<变量定义>}
<变量定义> -> <变量组>；
<变量组>-> <变量名>{,<变量名>}：<类型名>
<过程定义>-> Procedure <过程名><过程块>；
<过程块>-> [（<形参表>）]；<块体>
<形参表>-> <参数定义>{；<参数定义>}
<参数定义>-> [var]<变量组>
<语句>-> <赋位语句>|<过程语句>|<if语句>|<while语句>|<复合语句>|empty
<赋值语句>-> <变量访问>：＝<表达式>
<过程语句>-> <过程名>[(<实参表>)]
<实参表> -> <实参>{,<实参>}
<实参>-> <表达式>|<变量访问>
<if语句>-> if<表达式>then<语句>[eIse<语句>]
<while语句>-> while<表达式>do<语句>
<复合语句>-> begin <语句>{；<语句>}end
<表达式>-> <简单表达式>[<关系算符><简单表达式>]
<关系算符>-> <|=|>|<=|>=|<>
<简单表达式>-> [+|-]<项>{<加法算符><项>}
<加法算符> -> ＋|-|or
<项>-> <因子>{<乘法算符><因子>}
<乘法算符>-> *|div|mod|and
<因子> -> <常数>|<变量访问>|(<表达式>)|not<因子>
<变量访问> -> <变量名>{<选择器>}
<选择器> -> <下标选择器>|<域选择器>
<下标选择器> -> [<表达式>]
<域选择器> -> ?<域名>
<常数> -> <整数>|<常数名>
<整数> -><数字>{<数字>}
<名字> -> <字母>{<字母>|<数字>}
注：<常数名>，<变量名>,<类型名>,<过程名>,<域名>统称为<名字>。{,}是元语言符号。