-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgrammar_generation_type_one.txt
169 lines (169 loc) · 8.58 KB
/
grammar_generation_type_one.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
A1 -> [start $ 1 1] A2
A2 -> [1 1] A2
A2 -> [1 1 @]
[start $ 1 1] -> [$ filling 1 1]
[$ filling 1 1][1 1] -> [$ 111 1][filling 1 1]
[filling 1 1][1 1 @] -> [111 1][filling 1 1 @]
[filling 1 1 @] -> [111 1 filling @]
[111 1 filling @] -> [decDiv 111 1 @]
[decDiv 111 1 @] -> [110 1 goToEnd @]
[110 1 goToEnd @] -> [possibleOne 110 1 @]
[111 1][possibleOne 110 1 @] -> [yetAnotherBack 111 1][110 1 @]
[yetAnotherBack 111 1][110 1 @] -> [111 1][yetAnotherBack 110 1 @]
[yetAnotherBack 110 1 @] -> [110 1 yetAnotherBack @]
[110 1 yetAnotherBack @] -> [subSndThrd 110 1 @]
[111 1][subSndThrd 110 1 @] -> [subSndThrd 111 1][110 1 @]
[$ 111 1][subSndThrd 111 1] -> [$ subSndThrd 111 1][101 1]
[$ subSndThrd 111 1] -> [subSndThrd $ 101 1]
[subSndThrd $ 101 1] -> [$ checkForZeroSnd 101 1]
[$ checkForZeroSnd 101 1][101 1] -> [$ 101 1][checkForZeroSnd 101 1]
[checkForZeroSnd 101 1][110 1 @] -> [101 1][checkForZeroSnd 110 1 @]
[checkForZeroSnd 110 1 @] -> [110 1 continue @]
[110 1 continue @] -> [subSndThrd 110 1 @]
[101 1][subSndThrd 110 1 @] -> [subSndThrd 101 1][110 1 @]
[$ 101 1][subSndThrd 101 1] -> [$ makeZaem 101 1][111# 1]
[$ makeZaem 101 1] -> [makeZaem $ 111 1]
[makeZaem $ 111 1] -> [$ restoreDivided 111 1]
[$ restoreDivided 111 1][111# 1] -> [$ 111 1][restoreDivided 111# 1]
[restoreDivided 111# 1][110 1 @] -> [111 1][restoreDivided 110 1 @]
[restoreDivided 110 1 @] -> [110 1 restoreDivided @]
[110 1 restoreDivided @] -> [decDiv 110 1 @]
[111 1][decDiv 110 1 @] -> [decDiv 111 1][111 1 @]
[decDiv 111 1][111 1 @] -> [110 1][goToEnd 111 1 @]
[goToEnd 111 1 @] -> [111 1 goToEnd @]
[111 1 goToEnd @] -> [possibleOne 111 1 @]
[110 1][possibleOne 111 1 @] -> [checkOne 110 1][111 1 @]
[$ 111 1][checkOne 110 1] -> [$ checkOne 111 1][110 1]
[$ checkOne 111 1][110 1] -> [$ 111 1][yetAnotherBack 110 1]
[yetAnotherBack 110 1][111 1 @] -> [110 1][yetAnotherBack 111 1 @]
[yetAnotherBack 111 1 @] -> [111 1 yetAnotherBack @]
[111 1 yetAnotherBack @] -> [subSndThrd 111 1 @]
[110 1][subSndThrd 111 1 @] -> [subSndThrd 110 1][101 1 @]
[$ 111 1][subSndThrd 110 1] -> [$ subSndThrd 111 1][110 1]
[$ subSndThrd 111 1] -> [subSndThrd $ 101 1]
[subSndThrd $ 101 1] -> [$ checkForZeroSnd 101 1]
[$ checkForZeroSnd 101 1][110 1] -> [$ 101 1][checkForZeroSnd 110 1]
[checkForZeroSnd 110 1][101 1 @] -> [110 1][continue 101 1 @]
[continue 101 1 @] -> [101 1 continue @]
[101 1 continue @] -> [subSndThrd 101 1 @]
[110 1][subSndThrd 101 1 @] -> [makeZaem 110 1][111# 1 @]
[makeZaem 110 1][111# 1 @] -> [100 1][restoreZaem 111# 1 @]
[100 1][restoreZaem 111# 1 @] -> [subSndThrd 100 1][111 1 @]
[$ 101 1][subSndThrd 100 1] -> [$ subSndThrd 101 1][100 1]
[$ subSndThrd 101 1] -> [makeZaem $ 111# 1]
[makeZaem $ 111# 1] -> [$ restoreDivided 111# 1]
[$ restoreDivided 111# 1][100 1] -> [$ 111 1][restoreDivided 100 1]
[restoreDivided 100 1][111 1 @] -> [110 1][restoreDivided 111 1 @]
[restoreDivided 111 1 @] -> [111 1 restoreDivided @]
[111 1 restoreDivided @] -> [decDiv 111 1 @]
[decDiv 111 1 @] -> [110 1 goToEnd @]
[110 1 goToEnd @] -> [possibleOne 110 1 @]
[110 1][possibleOne 110 1 @] -> [yetAnotherBack 110 1][110 1 @]
[yetAnotherBack 110 1][110 1 @] -> [110 1][yetAnotherBack 110 1 @]
[yetAnotherBack 110 1 @] -> [110 1 yetAnotherBack @]
[110 1 yetAnotherBack @] -> [subSndThrd 110 1 @]
[110 1][subSndThrd 110 1 @] -> [subSndThrd 110 1][110 1 @]
[$ 111 1][subSndThrd 110 1] -> [$ subSndThrd 111 1][110 1]
[$ subSndThrd 111 1] -> [subSndThrd $ 101 1]
[subSndThrd $ 101 1] -> [$ checkForZeroSnd 101 1]
[$ checkForZeroSnd 101 1][110 1] -> [$ 101 1][checkForZeroSnd 110 1]
[checkForZeroSnd 110 1][110 1 @] -> [110 1][continue 110 1 @]
[continue 110 1 @] -> [110 1 continue @]
[110 1 continue @] -> [subSndThrd 110 1 @]
[110 1][subSndThrd 110 1 @] -> [subSndThrd 110 1][110 1 @]
[$ 101 1][subSndThrd 110 1] -> [$ subSndThrd 101 1][110 1]
[$ subSndThrd 101 1] -> [makeZaem $ 111# 1]
[makeZaem $ 111# 1] -> [$ restoreDivided 111# 1]
[$ restoreDivided 111# 1][110 1] -> [$ 111 1][restoreDivided 110 1]
[restoreDivided 110 1][110 1 @] -> [110 1][restoreDivided 110 1 @]
[restoreDivided 110 1 @] -> [110 1 restoreDivided @]
[110 1 restoreDivided @] -> [decDiv 110 1 @]
[110 1][decDiv 110 1 @] -> [decDiv 110 1][111 1 @]
[$ 111 1][decDiv 110 1] -> [$ decDiv 111 1][111 1]
[$ decDiv 111 1][111 1] -> [$ 110 1][goToEnd 111 1]
[goToEnd 111 1][111 1 @] -> [111 1][goToEnd 111 1 @]
[goToEnd 111 1 @] -> [111 1 goToEnd @]
[111 1 goToEnd @] -> [possibleOne 111 1 @]
[111 1][possibleOne 111 1 @] -> [checkOne 111 1][111 1 @]
[checkOne 111 1][111 1 @] -> [111 1][yetAnotherBack 111 1 @]
[yetAnotherBack 111 1 @] -> [111 1 yetAnotherBack @]
[111 1 yetAnotherBack @] -> [subSndThrd 111 1 @]
[111 1][subSndThrd 111 1 @] -> [subSndThrd 111 1][101 1 @]
[$ 110 1][subSndThrd 111 1] -> [$ subSndThrd 110 1][101 1]
[$ subSndThrd 110 1] -> [subSndThrd $ 110 1]
[subSndThrd $ 110 1] -> [$ checkForZeroSnd 110 1]
[$ checkForZeroSnd 110 1][101 1] -> [$ 110 1][continue 101 1]
[continue 101 1][101 1 @] -> [101 1][continue 101 1 @]
[continue 101 1 @] -> [101 1 continue @]
[101 1 continue @] -> [subSndThrd 101 1 @]
[101 1][subSndThrd 101 1 @] -> [makeZaem 101 1][111# 1 @]
[$ 110 1][makeZaem 101 1] -> [$ makeZaem 110 1][111 1]
[$ makeZaem 110 1][111 1] -> [$ 100 1][restoreZaem 111 1]
[restoreZaem 111 1][111# 1 @] -> [111 1][restoreZaem 111# 1 @]
[111 1][restoreZaem 111# 1 @] -> [subSndThrd 111 1][111 1 @]
[$ 100 1][subSndThrd 111 1] -> [$ subSndThrd 100 1][101 1]
[$ subSndThrd 100 1] -> [subSndThrd $ 100 1]
[subSndThrd $ 100 1] -> [$ checkForZeroSnd 100 1]
[$ checkForZeroSnd 100 1][101 1] -> [$ 100 1][checkForZeroSnd 101 1]
[checkForZeroSnd 101 1][111 1 @] -> [101 1][checkForZeroSnd 111 1 @]
[checkForZeroSnd 111 1 @] -> [111 1 continue @]
[111 1 continue @] -> [subSndThrd 111 1 @]
[101 1][subSndThrd 111 1 @] -> [subSndThrd 101 1][101 1 @]
[$ 100 1][subSndThrd 101 1] -> [$ makeZaem 100 1][111# 1]
[$ makeZaem 100 1] -> [makeZaem $ 110 1]
[makeZaem $ 110 1] -> [$ restoreDivided 110 1]
[$ restoreDivided 110 1][111# 1] -> [$ 110 1][restoreDivided 111# 1]
[restoreDivided 111# 1][101 1 @] -> [111 1][restoreDivided 101 1 @]
[restoreDivided 101 1 @] -> [111 1 restoreDivided @]
[111 1 restoreDivided @] -> [decDiv 111 1 @]
[decDiv 111 1 @] -> [110 1 goToEnd @]
[110 1 goToEnd @] -> [possibleOne 110 1 @]
[111 1][possibleOne 110 1 @] -> [yetAnotherBack 111 1][110 1 @]
[yetAnotherBack 111 1][110 1 @] -> [111 1][yetAnotherBack 110 1 @]
[yetAnotherBack 110 1 @] -> [110 1 yetAnotherBack @]
[110 1 yetAnotherBack @] -> [subSndThrd 110 1 @]
[111 1][subSndThrd 110 1 @] -> [subSndThrd 111 1][110 1 @]
[$ 110 1][subSndThrd 111 1] -> [$ subSndThrd 110 1][101 1]
[$ subSndThrd 110 1] -> [subSndThrd $ 110 1]
[subSndThrd $ 110 1] -> [$ checkForZeroSnd 110 1]
[$ checkForZeroSnd 110 1][101 1] -> [$ 110 1][continue 101 1]
[continue 101 1][110 1 @] -> [101 1][continue 110 1 @]
[continue 110 1 @] -> [110 1 continue @]
[110 1 continue @] -> [subSndThrd 110 1 @]
[101 1][subSndThrd 110 1 @] -> [subSndThrd 101 1][110 1 @]
[$ 110 1][subSndThrd 101 1] -> [$ makeZaem 110 1][111# 1]
[$ makeZaem 110 1][111# 1] -> [$ 100 1][restoreZaem 111# 1]
[$ 100 1][restoreZaem 111# 1] -> [$ subSndThrd 100 1][111 1]
[$ subSndThrd 100 1] -> [subSndThrd $ 100 1]
[subSndThrd $ 100 1] -> [$ checkForZeroSnd 100 1]
[$ checkForZeroSnd 100 1][111 1] -> [$ 100 1][checkForZeroSnd 111 1]
[checkForZeroSnd 111 1][110 1 @] -> [111 1][continue 110 1 @]
[continue 110 1 @] -> [110 1 continue @]
[110 1 continue @] -> [subSndThrd 110 1 @]
[111 1][subSndThrd 110 1 @] -> [subSndThrd 111 1][110 1 @]
[$ 100 1][subSndThrd 111 1] -> [$ subSndThrd 100 1][101 1]
[$ subSndThrd 100 1] -> [subSndThrd $ 100 1]
[subSndThrd $ 100 1] -> [$ checkForZeroSnd 100 1]
[$ checkForZeroSnd 100 1][101 1] -> [$ 100 1][checkForZeroSnd 101 1]
[checkForZeroSnd 101 1][110 1 @] -> [101 1][checkForZeroSnd 110 1 @]
[checkForZeroSnd 110 1 @] -> [110 1 continue @]
[110 1 continue @] -> [subSndThrd 110 1 @]
[101 1][subSndThrd 110 1 @] -> [subSndThrd 101 1][110 1 @]
[$ 100 1][subSndThrd 101 1] -> [$ makeZaem 100 1][111# 1]
[$ makeZaem 100 1] -> [makeZaem $ 110 1]
[makeZaem $ 110 1] -> [$ restoreDivided 110 1]
[$ restoreDivided 110 1][111# 1] -> [$ 110 1][restoreDivided 111# 1]
[restoreDivided 111# 1][110 1 @] -> [111 1][restoreDivided 110 1 @]
[restoreDivided 110 1 @] -> [110 1 restoreDivided @]
[110 1 restoreDivided @] -> [decDiv 110 1 @]
[111 1][decDiv 110 1 @] -> [decDiv 111 1][111 1 @]
[decDiv 111 1][111 1 @] -> [110 1][goToEnd 111 1 @]
[goToEnd 111 1 @] -> [111 1 goToEnd @]
[111 1 goToEnd @] -> [possibleOne 111 1 @]
[110 1][possibleOne 111 1 @] -> [checkOne 110 1][111 1 @]
[$ 110 1][checkOne 110 1] -> [$ checkOne 110 1][110 1]
[$ checkOne 110 1] -> [checkOne $ 110 1]
[checkOne $ 110 1] -> [$ final 110 1]
[$ final 110 1] -> 1
1[110 1] -> 11
1[111 1 @] -> 11