start-symbol PROGRAM context-free syntax PROGRAM ::= "begin" DECLS "|" STATEMENTS "end" DECLS ::= "declare" IDLIST STATEMENTS ::= STATEMENT ";" STATEMENTS ::= IDLIST ::= ID "," IDLIST ::= context-free syntax STATEMENT ::= ID ":=" EXP context-free syntax EXP ::= ID EXP ::= NAT EXP ::= EXP "+" EXP {left} EXP ::= EXP "*" EXP {left} EXP ::= "-" EXP EXP ::= "(" EXP ")" lexical syntax ID ::= [a-z] ID' ID' ::= [a-z0-9] ID' ID' ::= lexical syntax NAT ::= [0] NAT ::= [1-9] NAT' NAT' ::= [0-9] NAT' NAT' ::= lexical syntax LAYOUT ::= " " LAYOUT LAYOUT ::= "\n" LAYOUT LAYOUT ::= context-free priorities EXP ::= "-" EXP > EXP ::= EXP "*" EXP > EXP ::= EXP "+" EXP