antelope 0.1.4 → 0.1.5

Sign up to get free protection for your applications and to get access to all the features.
Files changed (17) hide show
  1. checksums.yaml +4 -4
  2. data/examples/deterministic.output +85 -80
  3. data/examples/example.output +251 -243
  4. data/examples/simple.output +69 -57
  5. data/lib/antelope/ace/grammar.rb +0 -1
  6. data/lib/antelope/ace/production.rb +57 -0
  7. data/lib/antelope/ace/token.rb +5 -0
  8. data/lib/antelope/ace.rb +1 -0
  9. data/lib/antelope/generation/constructor/follow.rb +3 -9
  10. data/lib/antelope/generation/constructor.rb +21 -6
  11. data/lib/antelope/generation/recognizer/rule.rb +18 -9
  12. data/lib/antelope/generation/recognizer/state.rb +10 -1
  13. data/lib/antelope/generation/recognizer.rb +2 -4
  14. data/lib/antelope/version.rb +1 -1
  15. data/spec/antelope/constructor_spec.rb +4 -0
  16. metadata +3 -3
  17. data/lib/antelope/ace/grammar/production.rb +0 -48
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA1:
3
- metadata.gz: 4af8e0ae169c828952c06d8a4116572213ea10f7
4
- data.tar.gz: 411daeeff860de4e4a22922a4e88dac5f2d77819
3
+ metadata.gz: c791a71ff3ecc84f17a84ccb5955122154b61361
4
+ data.tar.gz: ef9c05b620950ffe04782135adc6a71005528976
5
5
  SHA512:
6
- metadata.gz: 79cefb2567b4a04b2e817ef0c6c0baf96df175982b7b632c7b9db2fca9f63f788dacc7300ccd5d145ac0df75141dd3332eee6c965e52aed5b906066114776be2
7
- data.tar.gz: 5a66a9c85e9ba664f6a0aa8048ad3ddf6ae44685a9247ac660b066079109de6ac491fb2d946d2c937ba6a03a68e742be83c80f97baa28b69ef735cad4a9a9797
6
+ metadata.gz: 7be5f67f4f2198bc767b78664ba1764194e9d5f34037f5fa3327cd7de748e36a6af30f7fee0fad62d6d0776fc7fe988f4d0073786df3d5a19a3bad23171809d8
7
+ data.tar.gz: 64a61b82594d2dc2b78b36f392365842794a41c04aeca5569d15887e39ccd78bc1f02a817ac54f151c61ec9ec560bc4612924e8a135ddcccf16a14bb9d974e58
data/examples/deterministic.output CHANGED
@@ -1,10 +1,21 @@
1
1
  Productions:
2
- s → e
3
- e → t ";"
4
- e → t "+" e
5
- t → NUMBER
6
- t → "(" e ")"
7
- $start → s $
2
+ 0 $start(0) → s(0:1) $
3
+ 1 s(0:1) → e(0:2)
4
+ 2 e(0:2) → t(0:3) ";"
5
+ 3 e(0:2) → t(0:3) "+" e(8:10)
6
+ 4 t(0:3) → NUMBER
7
+ 5 t(0:3) → "(" e(5:9) ")"
8
+ 2 e(5:9) → t(5:3) ";"
9
+ 3 e(5:9) → t(5:3) "+" e(8:10)
10
+ 4 t(5:3) → NUMBER
11
+ 5 t(5:3) → "(" e(5:9) ")"
12
+ 2 e(8:10) → t(8:3) ";"
13
+ 3 e(8:10) → t(8:3) "+" e(8:10)
14
+ 4 t(8:3) → NUMBER
15
+ 5 t(8:3) → "(" e(5:9) ")"
16
+
17
+ Nontemrinals:
18
+ ["$start(0)", "s(0:1)", "e(0:2)", "t(0:3)", "e(5:9)", "t(5:3)", "e(8:10)", "t(8:3)"]
8
19
 
9
20
  Precedence:
10
21
  --- highest
@@ -15,122 +26,116 @@ Precedence:
15
26
  --- lowest
16
27
 
17
28
  State 0:
18
- 0/n0: $start(0) → • s(0:1) $
19
- {}
20
- 1/n1: s(0:1) → • e(0:2)
21
- {}
22
- 2/n1: e(0:2) → • t(0:3) ";"
23
- {}
24
- 3/n1: e(0:2) → • t(0:3) "+" e(9:11)
25
- {}
26
- 4/n1: t(0:3) → • NUMBER
27
- {}
28
- 5/n1: t(0:3) → • "(" e(6:10) ")"
29
- {}
29
+ 0/n0: $start → • s $
30
+ {} ($start)
31
+ 1/n1: s → • e
32
+ {} (s)
33
+ 2/n1: e → • t ";"
34
+ {} (e)
35
+ 3/n1: e → • t "+" e
36
+ {} (e)
37
+ 4/n1: t → • NUMBER
38
+ {} (t)
39
+ 5/n1: t → • "(" e ")"
40
+ {} (t)
30
41
  transitions:
31
42
  s: State 1
32
43
  e: State 2
33
44
  t: State 3
34
- NUMBER: State 5
35
- LPAREN: State 6
45
+ NUMBER: State 4
46
+ LPAREN: State 5
36
47
 
37
48
  State 1:
38
49
  6/n0: $start → s • $
39
- {}
50
+ {} ($start)
40
51
  transitions:
41
- $: State 7
52
+ $: State 6
42
53
 
43
54
  State 2:
44
55
  7/n1: s → e •
45
- {$}
56
+ {$} (s)
46
57
  reductions:
47
58
  $: Rule 1
48
59
 
49
60
  State 3:
50
61
  8/n1: e → t • ";"
51
- {}
52
- 10/n1: e → t • "+" e
53
- {}
62
+ {} (e)
63
+ 9/n1: e → t • "+" e
64
+ {} (e)
54
65
  transitions:
55
- SEMICOLON: State 8
56
- ADD: State 9
66
+ SEMICOLON: State 7
67
+ ADD: State 8
57
68
 
58
69
  State 4:
59
- 10/n1: e → t • "+" e
60
- {}
61
- transitions:
62
- ADD: State 9
63
-
64
- State 5:
65
- 11/n1: t → NUMBER •
66
- {";", "+"}
70
+ 10/n1: t → NUMBER •
71
+ {";", "+"} (t)
67
72
  reductions:
68
73
  SEMICOLON: Rule 4
69
74
  ADD: Rule 4
70
75
 
71
- State 6:
72
- 12/n1: t → "(" • e ")"
73
- {}
74
- 13/n1: e(6:10) → • t(6:3) ";"
75
- {}
76
- 14/n1: e(6:10) → • t(6:3) "+" e(9:11)
77
- {}
78
- 15/n1: t(6:3) → • NUMBER
79
- {}
80
- 16/n1: t(6:3) → • "(" e(6:10) ")"
81
- {}
76
+ State 5:
77
+ 11/n1: t → "(" • e ")"
78
+ {} (t)
79
+ 12/n1: e → • t ";"
80
+ {} (e)
81
+ 13/n1: e → • t "+" e
82
+ {} (e)
83
+ 14/n1: t → • NUMBER
84
+ {} (t)
85
+ 15/n1: t → • "(" e ")"
86
+ {} (t)
82
87
  transitions:
83
- e: State 10
88
+ e: State 9
84
89
  t: State 3
85
- NUMBER: State 5
86
- LPAREN: State 6
90
+ NUMBER: State 4
91
+ LPAREN: State 5
87
92
 
88
- State 7:
89
- 17/n0: $start → s $ •
90
- {}
93
+ State 6:
94
+ 16/n0: $start → s $ •
95
+ {} ($start)
91
96
  accepting:
92
97
  $: Rule 0
93
98
 
94
- State 8:
95
- 18/n1: e → t ";" •
96
- {$, ")"}
99
+ State 7:
100
+ 17/n1: e → t ";" •
101
+ {$, ")"} (e)
97
102
  reductions:
98
103
  $: Rule 2
99
104
  RPAREN: Rule 2
100
105
 
101
- State 9:
102
- 19/n1: e → t "+" • e
103
- {}
104
- 20/n1: e(9:11) → • t(9:3) ";"
105
- {}
106
- 21/n1: e(9:11) → • t(9:3) "+" e(9:11)
107
- {}
108
- 22/n1: t(9:3) → • NUMBER
109
- {}
110
- 23/n1: t(9:3) → • "(" e(6:10) ")"
111
- {}
106
+ State 8:
107
+ 18/n1: e → t "+" • e
108
+ {} (e)
109
+ 19/n1: e → • t ";"
110
+ {} (e)
111
+ 20/n1: e → • t "+" e
112
+ {} (e)
113
+ 21/n1: t → • NUMBER
114
+ {} (t)
115
+ 22/n1: t → • "(" e ")"
116
+ {} (t)
112
117
  transitions:
113
- e: State 11
118
+ e: State 10
114
119
  t: State 3
115
- NUMBER: State 5
116
- LPAREN: State 6
120
+ NUMBER: State 4
121
+ LPAREN: State 5
117
122
 
118
- State 10:
119
- 24/n1: t → "(" e • ")"
120
- {}
123
+ State 9:
124
+ 23/n1: t → "(" e • ")"
125
+ {} (t)
121
126
  transitions:
122
- RPAREN: State 12
127
+ RPAREN: State 11
123
128
 
124
- State 11:
125
- 25/n1: e → t "+" e •
126
- {$, ")"}
129
+ State 10:
130
+ 24/n1: e → t "+" e •
131
+ {$, ")"} (e)
127
132
  reductions:
128
133
  $: Rule 3
129
134
  RPAREN: Rule 3
130
135
 
131
- State 12:
132
- 26/n1: t → "(" e ")" •
133
- {";", "+"}
136
+ State 11:
137
+ 25/n1: t → "(" e ")" •
138
+ {";", "+"} (t)
134
139
  reductions:
135
140
  SEMICOLON: Rule 5
136
141
  ADD: Rule 5