summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--grammar-ll1.txt41
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