diff options
Diffstat (limited to 'grammar-ll1.txt')
-rw-r--r-- | grammar-ll1.txt | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/grammar-ll1.txt b/grammar-ll1.txt new file mode 100644 index 0000000..9487bd1 --- /dev/null +++ b/grammar-ll1.txt @@ -0,0 +1,41 @@ +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 |