EBNF示例 program : <program-heading>'; <program-block>'.' program-heading-::=program'<identifier> [’(<program-parameters->)] program-parameters-:=<identifier--list> identifier-list::=<identifier>{,’<identifier>}. program-block-::=block> block:=<label-declaration---part><constant-declaration---part> <type-declaration-partvariable-declaration-----part> <procedure-and-function-declaration-part)statement-part). variable-declaration---part::=[var'variable-declaration->’; {variabe-declaration->’;’}]. variable-declaration-::=<identifier-list>’;’<type-denoter> statement-part= compound-statement-.EBNF示例 program ::= <program-heading> '；' <program-block> '.'. program-heading ::= 'program' <identifier> [ '('<program-parameters> ')']. program-parameters ::= <identifier-list>. identifier-list ::= <identifier> {'，' <identifier>} . program-block ::= <block>. block ::= <label-declaration-part> <constant-declaration-part> <type-declaration-part><variable-declaration-part> <procedure-and-function-declaration-part><statement-part>. variable-declaration-part ::= ['var' <variable-declaration> '；' {<variabe-declaration> '；' }]. variable-declaration ::= <identifier-list> '；' <type-denoter>. statement-part ::= compound-statement