From 1505dd49aec92d98d7226d970b1ccd9420558ebf Mon Sep 17 00:00:00 2001
From: Peter Wu <peter@lekensteyn.nl>
Date: Sat, 7 May 2016 20:03:44 +0200
Subject: Initialize LL(1) grammar from current grammar

---
 grammar-ll1.txt | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 grammar-ll1.txt

(limited to 'grammar-ll1.txt')

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
-- 
cgit v1.2.1