pascal程序设计语言文法实例

Pascal程序设计语言的文法示例如下：

<程序> -> program <标识符> ; <程序体> .
<程序体> -> <常量说明> <类型说明> <变量说明> <过程说明> <语句>
<常量说明> -> const <常量定义> ; { <常量定义> ; }
<常量定义> -> <标识符> = <无符号整数>
<无符号整数> -> <数字> { <数字> }
<数字> -> 0 | 1 | ... | 9
<类型说明> -> type <类型定义> ; { <类型定义> ; }
<类型定义> -> <标识符> = <类型>
<类型> -> <标准类型> | <数组类型> | <记录类型>
<标准类型> -> integer | real | boolean | char
<数组类型> -> array [ <无符号整数> .. <无符号整数> ] of <类型>
<记录类型> -> record <字段列表> end
<字段列表> -> <标识符> : <类型> { ; <标识符> : <类型> }
<变量说明> -> var <变量定义> ; { <变量定义> ; }
<变量定义> -> <标识符> : <类型>
<过程说明> -> procedure <标识符> ; <形式参数> ; <程序体> ; { <过程说明> }
<形式参数> -> ( [ <参数定义> { ; <参数定义> } ] )
<参数定义> -> <标识符> : <类型>
<语句> -> <赋值语句> | <条件语句> | <循环语句> | <复合语句> | <过程调用语句> | <读语句> | <写语句> | <重复语句>
<赋值语句> -> <标识符> := <表达式>
<条件语句> -> if <条件> then <语句> [ else <语句> ]
<条件> -> <表达式> <关系运算符> <表达式>
<关系运算符> -> = | <> | < | > | <= | >=
<循环语句> -> while <条件> do <语句> | for <标识符> := <表达式> to <表达式> do <语句>
<复合语句> -> begin <语句> { ; <语句> } end
<过程调用语句> -> <标识符> ( [ <实际参数> { , <实际参数> } ] )
<实际参数> -> <表达式>
<读语句> -> readln ( <标识符> { , <标识符> } )
<写语句> -> writeln ( <表达式> { , <表达式> } )
<重复语句> -> repeat <语句> until <条件>