Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into MC_LTL
[simgrid.git] / examples / msg / mc / y.output
1 Terminals unused in grammar
2
3    LITT_ENT
4    LITT_CHAINE
5    LITT_REEL
6
7
8 Grammaire
9
10     0 $accept: automaton $end
11
12     1 automaton: NEVER LEFT_BRACE stateseq RIGHT_BRACE
13
14     2 stateseq: /* vide */
15
16     3 $@1: /* vide */
17
18     4 stateseq: ID COLON $@1 IF option FI SEMI_COLON stateseq
19
20     5 option: /* vide */
21     6       | CASE exp IMPLIES GOTO ID option
22
23     7 exp: LEFT_PAR exp RIGHT_PAR
24     8    | exp OR exp
25     9    | exp AND exp
26    10    | NOT exp
27    11    | CASE_TRUE
28    12    | ID
29
30
31 Terminaux, suivis des règles où ils apparaissent
32
33 $end (0) 0
34 error (256)
35 NEVER (258) 1
36 IF (259) 4
37 FI (260) 4
38 IMPLIES (261) 6
39 GOTO (262) 6
40 AND (263) 9
41 OR (264) 8
42 NOT (265) 10
43 LEFT_PAR (266) 7
44 RIGHT_PAR (267) 7
45 CASE (268) 6
46 COLON (269) 4
47 SEMI_COLON (270) 4
48 CASE_TRUE (271) 11
49 LEFT_BRACE (272) 1
50 RIGHT_BRACE (273) 1
51 LITT_ENT (274)
52 LITT_CHAINE (275)
53 LITT_REEL (276)
54 ID (277) 4 6 12
55
56
57 Non-terminaux, suivis des règles où ils apparaissent
58
59 $accept (23)
60     à gauche: 0
61 automaton (24)
62     à gauche: 1, à droite: 0
63 stateseq (25)
64     à gauche: 2 4, à droite: 1 4
65 $@1 (26)
66     à gauche: 3, à droite: 4
67 option (27)
68     à gauche: 5 6, à droite: 4 6
69 exp (28)
70     à gauche: 7 8 9 10 11 12, à droite: 6 7 8 9 10
71
72
73 état 0
74
75     0 $accept: . automaton $end
76
77     NEVER  décalage et aller à l'état 1
78
79     automaton  aller à l'état 2
80
81
82 état 1
83
84     1 automaton: NEVER . LEFT_BRACE stateseq RIGHT_BRACE
85
86     LEFT_BRACE  décalage et aller à l'état 3
87
88
89 état 2
90
91     0 $accept: automaton . $end
92
93     $end  décalage et aller à l'état 4
94
95
96 état 3
97
98     1 automaton: NEVER LEFT_BRACE . stateseq RIGHT_BRACE
99
100     ID  décalage et aller à l'état 5
101
102     $défaut  réduction par utilisation de la règle 2 (stateseq)
103
104     stateseq  aller à l'état 6
105
106
107 état 4
108
109     0 $accept: automaton $end .
110
111     $défaut  accepter
112
113
114 état 5
115
116     4 stateseq: ID . COLON $@1 IF option FI SEMI_COLON stateseq
117
118     COLON  décalage et aller à l'état 7
119
120
121 état 6
122
123     1 automaton: NEVER LEFT_BRACE stateseq . RIGHT_BRACE
124
125     RIGHT_BRACE  décalage et aller à l'état 8
126
127
128 état 7
129
130     4 stateseq: ID COLON . $@1 IF option FI SEMI_COLON stateseq
131
132     $défaut  réduction par utilisation de la règle 3 ($@1)
133
134     $@1  aller à l'état 9
135
136
137 état 8
138
139     1 automaton: NEVER LEFT_BRACE stateseq RIGHT_BRACE .
140
141     $défaut  réduction par utilisation de la règle 1 (automaton)
142
143
144 état 9
145
146     4 stateseq: ID COLON $@1 . IF option FI SEMI_COLON stateseq
147
148     IF  décalage et aller à l'état 10
149
150
151 état 10
152
153     4 stateseq: ID COLON $@1 IF . option FI SEMI_COLON stateseq
154
155     CASE  décalage et aller à l'état 11
156
157     $défaut  réduction par utilisation de la règle 5 (option)
158
159     option  aller à l'état 12
160
161
162 état 11
163
164     6 option: CASE . exp IMPLIES GOTO ID option
165
166     NOT        décalage et aller à l'état 13
167     LEFT_PAR   décalage et aller à l'état 14
168     CASE_TRUE  décalage et aller à l'état 15
169     ID         décalage et aller à l'état 16
170
171     exp  aller à l'état 17
172
173
174 état 12
175
176     4 stateseq: ID COLON $@1 IF option . FI SEMI_COLON stateseq
177
178     FI  décalage et aller à l'état 18
179
180
181 état 13
182
183    10 exp: NOT . exp
184
185     NOT        décalage et aller à l'état 13
186     LEFT_PAR   décalage et aller à l'état 14
187     CASE_TRUE  décalage et aller à l'état 15
188     ID         décalage et aller à l'état 16
189
190     exp  aller à l'état 19
191
192
193 état 14
194
195     7 exp: LEFT_PAR . exp RIGHT_PAR
196
197     NOT        décalage et aller à l'état 13
198     LEFT_PAR   décalage et aller à l'état 14
199     CASE_TRUE  décalage et aller à l'état 15
200     ID         décalage et aller à l'état 16
201
202     exp  aller à l'état 20
203
204
205 état 15
206
207    11 exp: CASE_TRUE .
208
209     $défaut  réduction par utilisation de la règle 11 (exp)
210
211
212 état 16
213
214    12 exp: ID .
215
216     $défaut  réduction par utilisation de la règle 12 (exp)
217
218
219 état 17
220
221     6 option: CASE exp . IMPLIES GOTO ID option
222     8 exp: exp . OR exp
223     9    | exp . AND exp
224
225     IMPLIES  décalage et aller à l'état 21
226     AND      décalage et aller à l'état 22
227     OR       décalage et aller à l'état 23
228
229
230 état 18
231
232     4 stateseq: ID COLON $@1 IF option FI . SEMI_COLON stateseq
233
234     SEMI_COLON  décalage et aller à l'état 24
235
236
237 état 19
238
239     8 exp: exp . OR exp
240     9    | exp . AND exp
241    10    | NOT exp .
242
243     $défaut  réduction par utilisation de la règle 10 (exp)
244
245
246 état 20
247
248     7 exp: LEFT_PAR exp . RIGHT_PAR
249     8    | exp . OR exp
250     9    | exp . AND exp
251
252     AND        décalage et aller à l'état 22
253     OR         décalage et aller à l'état 23
254     RIGHT_PAR  décalage et aller à l'état 25
255
256
257 état 21
258
259     6 option: CASE exp IMPLIES . GOTO ID option
260
261     GOTO  décalage et aller à l'état 26
262
263
264 état 22
265
266     9 exp: exp AND . exp
267
268     NOT        décalage et aller à l'état 13
269     LEFT_PAR   décalage et aller à l'état 14
270     CASE_TRUE  décalage et aller à l'état 15
271     ID         décalage et aller à l'état 16
272
273     exp  aller à l'état 27
274
275
276 état 23
277
278     8 exp: exp OR . exp
279
280     NOT        décalage et aller à l'état 13
281     LEFT_PAR   décalage et aller à l'état 14
282     CASE_TRUE  décalage et aller à l'état 15
283     ID         décalage et aller à l'état 16
284
285     exp  aller à l'état 28
286
287
288 état 24
289
290     4 stateseq: ID COLON $@1 IF option FI SEMI_COLON . stateseq
291
292     ID  décalage et aller à l'état 5
293
294     $défaut  réduction par utilisation de la règle 2 (stateseq)
295
296     stateseq  aller à l'état 29
297
298
299 état 25
300
301     7 exp: LEFT_PAR exp RIGHT_PAR .
302
303     $défaut  réduction par utilisation de la règle 7 (exp)
304
305
306 état 26
307
308     6 option: CASE exp IMPLIES GOTO . ID option
309
310     ID  décalage et aller à l'état 30
311
312
313 état 27
314
315     8 exp: exp . OR exp
316     9    | exp . AND exp
317     9    | exp AND exp .
318
319     $défaut  réduction par utilisation de la règle 9 (exp)
320
321
322 état 28
323
324     8 exp: exp . OR exp
325     8    | exp OR exp .
326     9    | exp . AND exp
327
328     $défaut  réduction par utilisation de la règle 8 (exp)
329
330
331 état 29
332
333     4 stateseq: ID COLON $@1 IF option FI SEMI_COLON stateseq .
334
335     $défaut  réduction par utilisation de la règle 4 (stateseq)
336
337
338 état 30
339
340     6 option: CASE exp IMPLIES GOTO ID . option
341
342     CASE  décalage et aller à l'état 11
343
344     $défaut  réduction par utilisation de la règle 5 (option)
345
346     option  aller à l'état 31
347
348
349 état 31
350
351     6 option: CASE exp IMPLIES GOTO ID option .
352
353     $défaut  réduction par utilisation de la règle 6 (option)