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
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
|
digraph rfc3164 {
rankdir=LR;
node [ shape = point ];
ENTRY;
eof_1;
eof_6;
eof_7;
eof_8;
eof_9;
eof_10;
eof_11;
eof_12;
eof_13;
eof_14;
eof_15;
eof_16;
eof_17;
eof_18;
eof_19;
eof_20;
eof_21;
eof_22;
eof_23;
eof_24;
eof_25;
eof_26;
eof_27;
eof_28;
eof_29;
eof_30;
eof_31;
eof_32;
eof_33;
eof_34;
eof_35;
eof_36;
eof_37;
eof_38;
eof_39;
eof_40;
eof_41;
eof_42;
eof_43;
eof_44;
eof_45;
node [ shape = circle, height = 0.2 ];
err_1 [ label=""];
node [ fixedsize = true, height = 0.65, shape = doublecircle ];
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;
node [ shape = circle ];
1 -> err_1 [ label = "0..31, 127 / err_tag" ];
1 -> 7 [ label = "'!'..'9', ';'..'Z', '\\'..'~' / mark" ];
1 -> 6 [ label = "DEF / mark" ];
2 -> 3 [ label = "']' / set_content" ];
2 -> 2 [ label = "DEF" ];
3 -> 4 [ label = "':'" ];
3 -> 3 [ label = "']' / set_content" ];
3 -> 2 [ label = "DEF" ];
4 -> 5 [ label = "SP" ];
4 -> 3 [ label = "']' / set_content" ];
4 -> 2 [ label = "DEF" ];
5 -> 2 [ label = "0..31, 127" ];
5 -> 43 [ label = "']' / set_content, mark" ];
5 -> 42 [ label = "DEF / mark" ];
6 -> 6 [ label = "SP..'~', 128..255" ];
7 -> 6 [ label = "SP, 128..255" ];
7 -> 8 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
7 -> 39 [ label = "':' / set_tag" ];
7 -> 41 [ label = "'[' / set_tag" ];
8 -> 6 [ label = "SP, 128..255" ];
8 -> 9 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
8 -> 39 [ label = "':' / set_tag" ];
8 -> 41 [ label = "'[' / set_tag" ];
9 -> 6 [ label = "SP, 128..255" ];
9 -> 10 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
9 -> 39 [ label = "':' / set_tag" ];
9 -> 41 [ label = "'[' / set_tag" ];
10 -> 6 [ label = "SP, 128..255" ];
10 -> 11 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
10 -> 39 [ label = "':' / set_tag" ];
10 -> 41 [ label = "'[' / set_tag" ];
11 -> 6 [ label = "SP, 128..255" ];
11 -> 12 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
11 -> 39 [ label = "':' / set_tag" ];
11 -> 41 [ label = "'[' / set_tag" ];
12 -> 6 [ label = "SP, 128..255" ];
12 -> 13 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
12 -> 39 [ label = "':' / set_tag" ];
12 -> 41 [ label = "'[' / set_tag" ];
13 -> 6 [ label = "SP, 128..255" ];
13 -> 14 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
13 -> 39 [ label = "':' / set_tag" ];
13 -> 41 [ label = "'[' / set_tag" ];
14 -> 6 [ label = "SP, 128..255" ];
14 -> 15 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
14 -> 39 [ label = "':' / set_tag" ];
14 -> 41 [ label = "'[' / set_tag" ];
15 -> 6 [ label = "SP, 128..255" ];
15 -> 16 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
15 -> 39 [ label = "':' / set_tag" ];
15 -> 41 [ label = "'[' / set_tag" ];
16 -> 6 [ label = "SP, 128..255" ];
16 -> 17 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
16 -> 39 [ label = "':' / set_tag" ];
16 -> 41 [ label = "'[' / set_tag" ];
17 -> 6 [ label = "SP, 128..255" ];
17 -> 18 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
17 -> 39 [ label = "':' / set_tag" ];
17 -> 41 [ label = "'[' / set_tag" ];
18 -> 6 [ label = "SP, 128..255" ];
18 -> 19 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
18 -> 39 [ label = "':' / set_tag" ];
18 -> 41 [ label = "'[' / set_tag" ];
19 -> 6 [ label = "SP, 128..255" ];
19 -> 20 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
19 -> 39 [ label = "':' / set_tag" ];
19 -> 41 [ label = "'[' / set_tag" ];
20 -> 6 [ label = "SP, 128..255" ];
20 -> 21 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
20 -> 39 [ label = "':' / set_tag" ];
20 -> 41 [ label = "'[' / set_tag" ];
21 -> 6 [ label = "SP, 128..255" ];
21 -> 22 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
21 -> 39 [ label = "':' / set_tag" ];
21 -> 41 [ label = "'[' / set_tag" ];
22 -> 6 [ label = "SP, 128..255" ];
22 -> 23 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
22 -> 39 [ label = "':' / set_tag" ];
22 -> 41 [ label = "'[' / set_tag" ];
23 -> 6 [ label = "SP, 128..255" ];
23 -> 24 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
23 -> 39 [ label = "':' / set_tag" ];
23 -> 41 [ label = "'[' / set_tag" ];
24 -> 6 [ label = "SP, 128..255" ];
24 -> 25 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
24 -> 39 [ label = "':' / set_tag" ];
24 -> 41 [ label = "'[' / set_tag" ];
25 -> 6 [ label = "SP, 128..255" ];
25 -> 26 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
25 -> 39 [ label = "':' / set_tag" ];
25 -> 41 [ label = "'[' / set_tag" ];
26 -> 6 [ label = "SP, 128..255" ];
26 -> 27 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
26 -> 39 [ label = "':' / set_tag" ];
26 -> 41 [ label = "'[' / set_tag" ];
27 -> 6 [ label = "SP, 128..255" ];
27 -> 28 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
27 -> 39 [ label = "':' / set_tag" ];
27 -> 41 [ label = "'[' / set_tag" ];
28 -> 6 [ label = "SP, 128..255" ];
28 -> 29 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
28 -> 39 [ label = "':' / set_tag" ];
28 -> 41 [ label = "'[' / set_tag" ];
29 -> 6 [ label = "SP, 128..255" ];
29 -> 30 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
29 -> 39 [ label = "':' / set_tag" ];
29 -> 41 [ label = "'[' / set_tag" ];
30 -> 6 [ label = "SP, 128..255" ];
30 -> 31 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
30 -> 39 [ label = "':' / set_tag" ];
30 -> 41 [ label = "'[' / set_tag" ];
31 -> 6 [ label = "SP, 128..255" ];
31 -> 32 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
31 -> 39 [ label = "':' / set_tag" ];
31 -> 41 [ label = "'[' / set_tag" ];
32 -> 6 [ label = "SP, 128..255" ];
32 -> 33 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
32 -> 39 [ label = "':' / set_tag" ];
32 -> 41 [ label = "'[' / set_tag" ];
33 -> 6 [ label = "SP, 128..255" ];
33 -> 34 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
33 -> 39 [ label = "':' / set_tag" ];
33 -> 41 [ label = "'[' / set_tag" ];
34 -> 6 [ label = "SP, 128..255" ];
34 -> 35 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
34 -> 39 [ label = "':' / set_tag" ];
34 -> 41 [ label = "'[' / set_tag" ];
35 -> 6 [ label = "SP, 128..255" ];
35 -> 36 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
35 -> 39 [ label = "':' / set_tag" ];
35 -> 41 [ label = "'[' / set_tag" ];
36 -> 6 [ label = "SP, 128..255" ];
36 -> 37 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
36 -> 39 [ label = "':' / set_tag" ];
36 -> 41 [ label = "'[' / set_tag" ];
37 -> 6 [ label = "SP, 128..255" ];
37 -> 38 [ label = "'!'..'9', ';'..'Z', '\\'..'~'" ];
37 -> 39 [ label = "':' / set_tag" ];
37 -> 41 [ label = "'[' / set_tag" ];
38 -> 6 [ label = "SP..'9', ';'..'Z', '\\'..'~', 128..255" ];
38 -> 39 [ label = "':' / set_tag" ];
38 -> 41 [ label = "'[' / set_tag" ];
39 -> 40 [ label = "SP" ];
39 -> 6 [ label = "'!'..'~', 128..255" ];
40 -> 6 [ label = "SP..'~', 128..255 / mark" ];
41 -> 2 [ label = "0..31, 127 / mark" ];
41 -> 43 [ label = "']' / mark, set_content" ];
41 -> 42 [ label = "DEF / mark" ];
42 -> 2 [ label = "0..31, 127" ];
42 -> 43 [ label = "']' / set_content" ];
42 -> 42 [ label = "DEF" ];
43 -> 2 [ label = "0..31, 127" ];
43 -> 44 [ label = "':'" ];
43 -> 43 [ label = "']' / set_content" ];
43 -> 42 [ label = "DEF" ];
44 -> 2 [ label = "0..31, 127" ];
44 -> 45 [ label = "SP" ];
44 -> 43 [ label = "']' / set_content" ];
44 -> 42 [ label = "DEF" ];
45 -> 2 [ label = "0..31, 127" ];
45 -> 43 [ label = "']' / set_content, mark" ];
45 -> 42 [ label = "DEF / mark" ];
ENTRY -> 1 [ label = "IN" ];
1 -> eof_1 [ label = "EOF / err_tag" ];
6 -> eof_6 [ label = "EOF / set_message" ];
7 -> eof_7 [ label = "EOF / set_message" ];
8 -> eof_8 [ label = "EOF / set_message" ];
9 -> eof_9 [ label = "EOF / set_message" ];
10 -> eof_10 [ label = "EOF / set_message" ];
11 -> eof_11 [ label = "EOF / set_message" ];
12 -> eof_12 [ label = "EOF / set_message" ];
13 -> eof_13 [ label = "EOF / set_message" ];
14 -> eof_14 [ label = "EOF / set_message" ];
15 -> eof_15 [ label = "EOF / set_message" ];
16 -> eof_16 [ label = "EOF / set_message" ];
17 -> eof_17 [ label = "EOF / set_message" ];
18 -> eof_18 [ label = "EOF / set_message" ];
19 -> eof_19 [ label = "EOF / set_message" ];
20 -> eof_20 [ label = "EOF / set_message" ];
21 -> eof_21 [ label = "EOF / set_message" ];
22 -> eof_22 [ label = "EOF / set_message" ];
23 -> eof_23 [ label = "EOF / set_message" ];
24 -> eof_24 [ label = "EOF / set_message" ];
25 -> eof_25 [ label = "EOF / set_message" ];
26 -> eof_26 [ label = "EOF / set_message" ];
27 -> eof_27 [ label = "EOF / set_message" ];
28 -> eof_28 [ label = "EOF / set_message" ];
29 -> eof_29 [ label = "EOF / set_message" ];
30 -> eof_30 [ label = "EOF / set_message" ];
31 -> eof_31 [ label = "EOF / set_message" ];
32 -> eof_32 [ label = "EOF / set_message" ];
33 -> eof_33 [ label = "EOF / set_message" ];
34 -> eof_34 [ label = "EOF / set_message" ];
35 -> eof_35 [ label = "EOF / set_message" ];
36 -> eof_36 [ label = "EOF / set_message" ];
37 -> eof_37 [ label = "EOF / set_message" ];
38 -> eof_38 [ label = "EOF / set_message" ];
39 -> eof_39 [ label = "EOF / set_message" ];
40 -> eof_40 [ label = "EOF / set_message" ];
41 -> eof_41 [ label = "EOF / set_message" ];
42 -> eof_42 [ label = "EOF / set_message" ];
43 -> eof_43 [ label = "EOF / set_message" ];
44 -> eof_44 [ label = "EOF / set_message" ];
45 -> eof_45 [ label = "EOF / set_message" ];
}
|
