loom

1
// G2
2
// David Pager, Xin Chen 
3
// The Lane Table Method Of Constructing LR(1) Parsers
4
// https://www.researchgate.net/publication/266006409_The_Lane_Table_Method_Of_Constructing_LR1_Parsers
5

6
G 	= "x" W "a"
7
  	| "x" V "t"
8
  	| "y" W "b"
9
  	| "y" V "t"
10
  	| "z" W "r"
11
  	| "z" V "b"
12
  	| "u" U X "a"
13
  	| "u" U Y "r"
14
	;
15
W 	= U X C
16
	;
17
V 	= U Y "d"
18
	;
19
X 	= "k" "t" U X P
20
  	| "k" "t"
21
	;
22
Y 	= "k" "t" U Y "u"
23
  	| "k" "t"
24
	;
25
U   = U "k" "t"
26
    | "s"
27
    ;
28
E   = "a"
29
    | "b"
30
    | "c"
31
    | "v"
32
    ;
33
C   = "c"
34
    | "w"
35
    ;
36
P   = "z"
37
    ;
38