Files
secondo/Tools/NestedLists/NLParser.output
2026-01-23 17:03:45 +08:00

264 lines
3.9 KiB
Plaintext

Terminals unused in grammar
ZZERROR
Grammar
0 $accept: ok $end
1 ok: list
2 | atom
3 list: ZZOPEN rest
4 rest: ZZCLOSE
5 | seq ZZCLOSE
6 seq: first
7 | seq elem
8 first: atom
9 | list
10 elem: atom
11 | list
12 atom: ZZINTEGER
13 | ZZREAL
14 | ZZBOOLEAN
15 | ZZSYMBOL
16 | ZZSTRING
17 | ZZTEXT
Terminals, with rules where they appear
$end (0) 0
error (256)
ZZINTEGER (258) 12
ZZREAL (259) 13
ZZBOOLEAN (260) 14
ZZSYMBOL (261) 15
ZZSTRING (262) 16
ZZTEXT (263) 17
ZZOPEN (264) 3
ZZCLOSE (265) 4 5
ZZERROR (266)
Nonterminals, with rules where they appear
$accept (12)
on left: 0
ok (13)
on left: 1 2
on right: 0
list (14)
on left: 3
on right: 1 9 11
rest (15)
on left: 4 5
on right: 3
seq (16)
on left: 6 7
on right: 5 7
first (17)
on left: 8 9
on right: 6
elem (18)
on left: 10 11
on right: 7
atom (19)
on left: 12 13 14 15 16 17
on right: 2 8 10
State 0
0 $accept: • ok $end
ZZINTEGER shift, and go to state 1
ZZREAL shift, and go to state 2
ZZBOOLEAN shift, and go to state 3
ZZSYMBOL shift, and go to state 4
ZZSTRING shift, and go to state 5
ZZTEXT shift, and go to state 6
ZZOPEN shift, and go to state 7
ok go to state 8
list go to state 9
atom go to state 10
State 1
12 atom: ZZINTEGER •
$default reduce using rule 12 (atom)
State 2
13 atom: ZZREAL •
$default reduce using rule 13 (atom)
State 3
14 atom: ZZBOOLEAN •
$default reduce using rule 14 (atom)
State 4
15 atom: ZZSYMBOL •
$default reduce using rule 15 (atom)
State 5
16 atom: ZZSTRING •
$default reduce using rule 16 (atom)
State 6
17 atom: ZZTEXT •
$default reduce using rule 17 (atom)
State 7
3 list: ZZOPEN • rest
ZZINTEGER shift, and go to state 1
ZZREAL shift, and go to state 2
ZZBOOLEAN shift, and go to state 3
ZZSYMBOL shift, and go to state 4
ZZSTRING shift, and go to state 5
ZZTEXT shift, and go to state 6
ZZOPEN shift, and go to state 7
ZZCLOSE shift, and go to state 11
list go to state 12
rest go to state 13
seq go to state 14
first go to state 15
atom go to state 16
State 8
0 $accept: ok • $end
$end shift, and go to state 17
State 9
1 ok: list •
$default reduce using rule 1 (ok)
State 10
2 ok: atom •
$default reduce using rule 2 (ok)
State 11
4 rest: ZZCLOSE •
$default reduce using rule 4 (rest)
State 12
9 first: list •
$default reduce using rule 9 (first)
State 13
3 list: ZZOPEN rest •
$default reduce using rule 3 (list)
State 14
5 rest: seq • ZZCLOSE
7 seq: seq • elem
ZZINTEGER shift, and go to state 1
ZZREAL shift, and go to state 2
ZZBOOLEAN shift, and go to state 3
ZZSYMBOL shift, and go to state 4
ZZSTRING shift, and go to state 5
ZZTEXT shift, and go to state 6
ZZOPEN shift, and go to state 7
ZZCLOSE shift, and go to state 18
list go to state 19
elem go to state 20
atom go to state 21
State 15
6 seq: first •
$default reduce using rule 6 (seq)
State 16
8 first: atom •
$default reduce using rule 8 (first)
State 17
0 $accept: ok $end •
$default accept
State 18
5 rest: seq ZZCLOSE •
$default reduce using rule 5 (rest)
State 19
11 elem: list •
$default reduce using rule 11 (elem)
State 20
7 seq: seq elem •
$default reduce using rule 7 (seq)
State 21
10 elem: atom •
$default reduce using rule 10 (elem)