Skip to content

Commit 0e1930d

Browse files
ProALgebraProALgebra
committed
update_test: Update test for new fix. Now all test work
1 parent 6840a43 commit 0e1930d

File tree

10 files changed

+689
-718
lines changed

10 files changed

+689
-718
lines changed

‎test-shared/src/test/resources/correctness/tree/ABGrammar/ambig/result.dot

Lines changed: 18 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -3,26 +3,24 @@ labelloc="t"
33
label=""
44
subgraph cluster_0{
55
labelloc="t"
6-
0_0 [label = "26Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
7-
0_1 [label = "27Terminal TerminalType(terminal=a)", shape = rectangle]
8-
0_2 [label = "28Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
9-
0_3 [label = "29Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(C), isStart=true, isFinal=false, numId=0))", shape = invtrapezium]
10-
0_4 [label = "30Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
11-
0_5 [label = "31Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(B), isStart=true, isFinal=false, numId=0))", shape = invtrapezium]
12-
0_6 [label = "32Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
13-
0_7 [label = "33Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=false, numId=0))", shape = invtrapezium]
14-
0_8 [label = "34Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
15-
0_9 [label = "37Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(A), isStart=true, isFinal=false, numId=0))", shape = invtrapezium]
16-
0_0->0_1
17-
0_2->0_3
18-
0_3->0_0
19-
0_4->0_5
20-
0_4->0_9
21-
0_5->0_2
22-
0_6->0_7
23-
0_7->0_4
24-
0_8->0_1
25-
0_9->0_8
6+
_0_0 [label = "26Range , input: [0, 1], rsm: [C_0, C_1]", shape = ellipse]
7+
_0_1 [label = "27Terminal 'a', input: [0, 1]", shape = rectangle]
8+
_0_2 [label = "28Range , input: [0, 1], rsm: [B_0, B_1]", shape = ellipse]
9+
_0_3 [label = "29Nonterminal C, input: [0, 1]", shape = invtrapezium]
10+
_0_4 [label = "30Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
11+
_0_5 [label = "31Nonterminal B, input: [0, 1]", shape = invtrapezium]
12+
_0_6 [label = "33Nonterminal S, input: [0, 1]", shape = invtrapezium]
13+
_0_7 [label = "34Range , input: [0, 1], rsm: [A_0, A_1]", shape = ellipse]
14+
_0_8 [label = "37Nonterminal A, input: [0, 1]", shape = invtrapezium]
15+
_0_0->_0_1
16+
_0_2->_0_3
17+
_0_3->_0_0
18+
_0_4->_0_5
19+
_0_4->_0_8
20+
_0_5->_0_2
21+
_0_6->_0_4
22+
_0_7->_0_1
23+
_0_8->_0_7
2624
}
2725

2826
}

‎test-shared/src/test/resources/correctness/tree/AmbiguousAStar1/simple/result.dot

Lines changed: 12 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,16 @@
11
digraph g {
22
labelloc="t"
33
label=""
4-
0 [label = "Nonterminal S, input: [0, 1]", shape = invtrapezium]
5-
1 [label = "Nonterminal S, input: [0, 1]", shape = invtrapezium]
6-
2 [label = "Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
7-
3 [label = "Terminal 'a', input: [0, 1]", shape = rectangle]
8-
0->2
9-
2->3
10-
2->0
4+
subgraph cluster_0{
5+
labelloc="t"
6+
_0_0 [label = "294Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
7+
_0_1 [label = "295Terminal 'a', input: [0, 1]", shape = rectangle]
8+
_0_2 [label = "298Nonterminal S, input: [0, 1]", shape = invtrapezium]
9+
_0_3 [label = "300Nonterminal S, input: [0, 1]", shape = invtrapezium]
10+
_0_0->_0_1
11+
_0_0->_0_3
12+
_0_2->_0_0
13+
_0_3->_0_0
14+
}
15+
1116
}

‎test-shared/src/test/resources/correctness/tree/AmbiguousAStar2/simple/result.dot

Lines changed: 92 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,57 +1,96 @@
11
digraph g {
22
labelloc="t"
33
label=""
4-
0 [label = "Intermediate input: 1, rsm: S_2, input: [0, 2]", shape = plain]
5-
1 [label = "Intermediate input: 1, rsm: S_2, input: [0, 3]", shape = plain]
6-
2 [label = "Intermediate input: 2, rsm: S_2, input: [0, 3]", shape = plain]
7-
3 [label = "Intermediate input: 2, rsm: S_2, input: [1, 3]", shape = plain]
8-
4 [label = "Nonterminal S, input: [0, 1]", shape = invtrapezium]
9-
5 [label = "Nonterminal S, input: [0, 2]", shape = invtrapezium]
10-
6 [label = "Nonterminal S, input: [0, 3]", shape = invtrapezium]
11-
7 [label = "Nonterminal S, input: [1, 2]", shape = invtrapezium]
12-
8 [label = "Nonterminal S, input: [1, 2]", shape = invtrapezium]
13-
9 [label = "Nonterminal S, input: [1, 3]", shape = invtrapezium]
14-
10 [label = "Nonterminal S, input: [2, 3]", shape = invtrapezium]
15-
11 [label = "Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
16-
12 [label = "Range , input: [0, 1], rsm: [S_0, S_2]", shape = ellipse]
17-
13 [label = "Range , input: [0, 2], rsm: [S_0, S_1]", shape = ellipse]
18-
14 [label = "Range , input: [0, 2], rsm: [S_0, S_2]", shape = ellipse]
19-
15 [label = "Range , input: [0, 3], rsm: [S_0, S_1]", shape = ellipse]
20-
16 [label = "Range , input: [1, 2], rsm: [S_0, S_1]", shape = ellipse]
21-
17 [label = "Range , input: [1, 2], rsm: [S_0, S_2]", shape = ellipse]
22-
18 [label = "Range , input: [1, 2], rsm: [S_2, S_1]", shape = ellipse]
23-
19 [label = "Range , input: [1, 3], rsm: [S_0, S_1]", shape = ellipse]
24-
20 [label = "Range , input: [1, 3], rsm: [S_2, S_1]", shape = ellipse]
25-
21 [label = "Range , input: [2, 3], rsm: [S_0, S_1]", shape = ellipse]
26-
22 [label = "Range , input: [2, 3], rsm: [S_2, S_1]", shape = ellipse]
27-
23 [label = "Terminal 'a', input: [0, 1]", shape = rectangle]
28-
24 [label = "Terminal 'a', input: [1, 2]", shape = rectangle]
29-
25 [label = "Terminal 'a', input: [2, 3]", shape = rectangle]
30-
0->12
31-
0->18
32-
1->12
33-
1->20
34-
2->14
35-
2->22
36-
3->17
37-
3->22
38-
4->11
39-
5->13
40-
6->15
41-
7->16
42-
9->19
43-
10->21
44-
11->23
45-
12->4
46-
13->0
47-
14->5
48-
15->1
49-
15->2
50-
16->24
51-
17->7
52-
18->7
53-
19->3
54-
20->9
55-
21->25
56-
22->10
4+
subgraph cluster_0{
5+
labelloc="t"
6+
_0_0 [label = "242Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
7+
_0_1 [label = "243Terminal 'a', input: [0, 1]", shape = rectangle]
8+
_0_2 [label = "246Nonterminal S, input: [0, 1]", shape = invtrapezium]
9+
_0_0->_0_1
10+
_0_2->_0_0
11+
}
12+
13+
subgraph cluster_1{
14+
labelloc="t"
15+
_1_0 [label = "242Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
16+
_1_1 [label = "243Terminal 'a', input: [0, 1]", shape = rectangle]
17+
_1_2 [label = "247Range , input: [0, 1], rsm: [S_0, S_2]", shape = ellipse]
18+
_1_3 [label = "248Nonterminal S, input: [0, 1]", shape = invtrapezium]
19+
_1_4 [label = "250Range , input: [1, 2], rsm: [S_0, S_1]", shape = ellipse]
20+
_1_5 [label = "251Terminal 'a', input: [1, 2]", shape = rectangle]
21+
_1_6 [label = "253Range , input: [1, 2], rsm: [S_2, S_1]", shape = ellipse]
22+
_1_7 [label = "254Nonterminal S, input: [1, 2]", shape = invtrapezium]
23+
_1_8 [label = "255Range , input: [0, 2], rsm: [S_0, S_1]", shape = ellipse]
24+
_1_9 [label = "256Intermediate input: 1, rsm: S_2, input: [0, 2]", shape = plain]
25+
_1_10 [label = "284Nonterminal S, input: [0, 2]", shape = invtrapezium]
26+
_1_0->_1_1
27+
_1_2->_1_3
28+
_1_3->_1_0
29+
_1_4->_1_5
30+
_1_6->_1_7
31+
_1_7->_1_4
32+
_1_8->_1_9
33+
_1_9->_1_2
34+
_1_9->_1_6
35+
_1_10->_1_8
36+
}
37+
38+
subgraph cluster_2{
39+
labelloc="t"
40+
_2_0 [label = "242Range , input: [0, 1], rsm: [S_0, S_1]", shape = ellipse]
41+
_2_1 [label = "243Terminal 'a', input: [0, 1]", shape = rectangle]
42+
_2_2 [label = "247Range , input: [0, 1], rsm: [S_0, S_2]", shape = ellipse]
43+
_2_3 [label = "248Nonterminal S, input: [0, 1]", shape = invtrapezium]
44+
_2_4 [label = "250Range , input: [1, 2], rsm: [S_0, S_1]", shape = ellipse]
45+
_2_5 [label = "251Terminal 'a', input: [1, 2]", shape = rectangle]
46+
_2_6 [label = "253Range , input: [1, 2], rsm: [S_2, S_1]", shape = ellipse]
47+
_2_7 [label = "254Nonterminal S, input: [1, 2]", shape = invtrapezium]
48+
_2_8 [label = "255Range , input: [0, 2], rsm: [S_0, S_1]", shape = ellipse]
49+
_2_9 [label = "256Intermediate input: 1, rsm: S_2, input: [0, 2]", shape = plain]
50+
_2_10 [label = "257Range , input: [1, 2], rsm: [S_0, S_2]", shape = ellipse]
51+
_2_11 [label = "258Nonterminal S, input: [1, 2]", shape = invtrapezium]
52+
_2_12 [label = "260Range , input: [2, 3], rsm: [S_0, S_1]", shape = ellipse]
53+
_2_13 [label = "261Terminal 'a', input: [2, 3]", shape = rectangle]
54+
_2_14 [label = "263Range , input: [2, 3], rsm: [S_2, S_1]", shape = ellipse]
55+
_2_15 [label = "264Nonterminal S, input: [2, 3]", shape = invtrapezium]
56+
_2_16 [label = "265Range , input: [1, 3], rsm: [S_0, S_1]", shape = ellipse]
57+
_2_17 [label = "266Intermediate input: 2, rsm: S_2, input: [1, 3]", shape = plain]
58+
_2_18 [label = "271Range , input: [1, 3], rsm: [S_2, S_1]", shape = ellipse]
59+
_2_19 [label = "272Nonterminal S, input: [1, 3]", shape = invtrapezium]
60+
_2_20 [label = "273Range , input: [0, 3], rsm: [S_0, S_1]", shape = ellipse]
61+
_2_21 [label = "274Intermediate input: 1, rsm: S_2, input: [0, 3]", shape = plain]
62+
_2_22 [label = "279Nonterminal S, input: [0, 3]", shape = invtrapezium]
63+
_2_23 [label = "285Range , input: [0, 2], rsm: [S_0, S_2]", shape = ellipse]
64+
_2_24 [label = "286Nonterminal S, input: [0, 2]", shape = invtrapezium]
65+
_2_25 [label = "291Intermediate input: 2, rsm: S_2, input: [0, 3]", shape = plain]
66+
_2_0->_2_1
67+
_2_2->_2_3
68+
_2_3->_2_0
69+
_2_4->_2_5
70+
_2_6->_2_7
71+
_2_7->_2_4
72+
_2_8->_2_9
73+
_2_9->_2_2
74+
_2_9->_2_6
75+
_2_10->_2_11
76+
_2_11->_2_4
77+
_2_12->_2_13
78+
_2_14->_2_15
79+
_2_15->_2_12
80+
_2_16->_2_17
81+
_2_17->_2_10
82+
_2_17->_2_14
83+
_2_18->_2_19
84+
_2_19->_2_16
85+
_2_20->_2_21
86+
_2_20->_2_25
87+
_2_21->_2_2
88+
_2_21->_2_18
89+
_2_22->_2_20
90+
_2_23->_2_24
91+
_2_24->_2_8
92+
_2_25->_2_23
93+
_2_25->_2_14
94+
}
95+
5796
}

‎test-shared/src/test/resources/correctness/tree/Epsilon/epsilon/result.dot

Lines changed: 5 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,11 @@ labelloc="t"
33
label=""
44
subgraph cluster_0{
55
labelloc="t"
6-
0_0 [label = "63Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
7-
0_1 [label = "64Epsilon EpsilonNonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invhouse]
8-
0_2 [label = "65Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
9-
0_3 [label = "66Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
10-
0_0->0_1
11-
0_2->0_3
12-
0_3->0_0
6+
_0_0 [label = "63Range , input: [0, 0], rsm: [S_0, S_0]", shape = ellipse]
7+
_0_1 [label = "64Epsilon RSM: S_0, input: [0, 0]", shape = invhouse]
8+
_0_2 [label = "66Nonterminal S, input: [0, 0]", shape = invtrapezium]
9+
_0_0->_0_1
10+
_0_2->_0_0
1311
}
1412

1513
}

‎test-shared/src/test/resources/correctness/tree/LoopDyck/minimalWorstCase/result.dot

Lines changed: 61 additions & 86 deletions
Original file line numberDiff line numberDiff line change
@@ -3,96 +3,71 @@ labelloc="t"
33
label=""
44
subgraph cluster_0{
55
labelloc="t"
6-
0_0 [label = "107Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
7-
0_1 [label = "108Epsilon EpsilonNonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invhouse]
8-
0_2 [label = "111Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
9-
0_3 [label = "112Terminal TerminalType(terminal=()", shape = rectangle]
10-
0_4 [label = "114Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
11-
0_5 [label = "115Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
12-
0_6 [label = "116Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
13-
0_7 [label = "117Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=1), inputPosition=0)", shape = plain]
14-
0_8 [label = "118Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
15-
0_9 [label = "119Terminal TerminalType(terminal=))", shape = rectangle]
16-
0_10 [label = "120Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
17-
0_11 [label = "121Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=2), inputPosition=0)", shape = plain]
18-
0_12 [label = "122Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
19-
0_13 [label = "123Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
20-
0_14 [label = "124Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
21-
0_15 [label = "125Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
22-
0_16 [label = "126Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
23-
0_17 [label = "127Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=1), inputPosition=0)", shape = plain]
24-
0_18 [label = "128Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
25-
0_19 [label = "129Terminal TerminalType(terminal=))", shape = rectangle]
26-
0_20 [label = "131Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=2), inputPosition=1)", shape = plain]
27-
0_0->0_1
28-
0_0->0_20
29-
0_2->0_3
30-
0_4->0_5
31-
0_5->0_0
32-
0_6->0_7
33-
0_7->0_2
34-
0_7->0_4
35-
0_8->0_9
36-
0_10->0_11
37-
0_11->0_6
38-
0_11->0_8
39-
0_12->0_13
40-
0_13->0_10
41-
0_14->0_15
42-
0_15->0_10
43-
0_16->0_17
44-
0_17->0_2
45-
0_17->0_14
46-
0_18->0_19
47-
0_20->0_16
48-
0_20->0_18
6+
_0_0 [label = "160Range , input: [0, 0], rsm: [S_0, S_0]", shape = ellipse]
7+
_0_1 [label = "161Epsilon RSM: S_0, input: [0, 0]", shape = invhouse]
8+
_0_2 [label = "163Nonterminal S, input: [0, 0]", shape = invtrapezium]
9+
_0_3 [label = "164Range , input: [0, 0], rsm: [S_0, S_1]", shape = ellipse]
10+
_0_4 [label = "165Terminal '(', input: [0, 0]", shape = rectangle]
11+
_0_5 [label = "167Range , input: [0, 0], rsm: [S_1, S_2]", shape = ellipse]
12+
_0_6 [label = "168Nonterminal S, input: [0, 0]", shape = invtrapezium]
13+
_0_7 [label = "169Range , input: [0, 0], rsm: [S_0, S_2]", shape = ellipse]
14+
_0_8 [label = "170Intermediate input: 0, rsm: S_1, input: [0, 0]", shape = plain]
15+
_0_9 [label = "171Range , input: [0, 1], rsm: [S_2, S_0]", shape = ellipse]
16+
_0_10 [label = "172Terminal ')', input: [0, 1]", shape = rectangle]
17+
_0_11 [label = "173Range , input: [0, 1], rsm: [S_0, S_0]", shape = ellipse]
18+
_0_12 [label = "174Intermediate input: 0, rsm: S_2, input: [0, 1]", shape = plain]
19+
_0_13 [label = "177Range , input: [0, 1], rsm: [S_1, S_2]", shape = ellipse]
20+
_0_14 [label = "178Nonterminal S, input: [0, 1]", shape = invtrapezium]
21+
_0_15 [label = "179Range , input: [0, 1], rsm: [S_0, S_2]", shape = ellipse]
22+
_0_16 [label = "180Intermediate input: 0, rsm: S_1, input: [0, 1]", shape = plain]
23+
_0_17 [label = "181Range , input: [1, 0], rsm: [S_2, S_0]", shape = ellipse]
24+
_0_18 [label = "182Terminal ')', input: [1, 0]", shape = rectangle]
25+
_0_19 [label = "184Intermediate input: 1, rsm: S_2, input: [0, 0]", shape = plain]
26+
_0_0->_0_1
27+
_0_0->_0_19
28+
_0_2->_0_0
29+
_0_3->_0_4
30+
_0_5->_0_6
31+
_0_7->_0_8
32+
_0_8->_0_3
33+
_0_8->_0_5
34+
_0_9->_0_10
35+
_0_11->_0_12
36+
_0_12->_0_7
37+
_0_12->_0_9
38+
_0_13->_0_14
39+
_0_14->_0_11
40+
_0_15->_0_16
41+
_0_16->_0_3
42+
_0_16->_0_13
43+
_0_17->_0_18
44+
_0_19->_0_15
45+
_0_19->_0_17
4946
}
5047

5148
subgraph cluster_1{
5249
labelloc="t"
53-
1_0 [label = "107Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
54-
1_1 [label = "108Epsilon EpsilonNonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invhouse]
55-
1_2 [label = "109Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
56-
1_3 [label = "110Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
57-
1_4 [label = "111Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
58-
1_5 [label = "112Terminal TerminalType(terminal=()", shape = rectangle]
59-
1_6 [label = "114Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
60-
1_7 [label = "115Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
61-
1_8 [label = "116Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
62-
1_9 [label = "117Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=1), inputPosition=0)", shape = plain]
63-
1_10 [label = "118Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
64-
1_11 [label = "119Terminal TerminalType(terminal=))", shape = rectangle]
65-
1_12 [label = "120Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
66-
1_13 [label = "121Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=2), inputPosition=0)", shape = plain]
67-
1_14 [label = "124Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
68-
1_15 [label = "125Nonterminal NonterminalType(startState=RsmState(nonterminal=Nonterminal(S), isStart=true, isFinal=true, numId=0))", shape = invtrapezium]
69-
1_16 [label = "126Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
70-
1_17 [label = "127Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=1), inputPosition=0)", shape = plain]
71-
1_18 [label = "128Range org.ucfs.sppf.node.Range@6970140a", shape = ellipse]
72-
1_19 [label = "129Terminal TerminalType(terminal=))", shape = rectangle]
73-
1_20 [label = "131Intermediate IntermediateType(grammarSlot=RsmState(nonterminal=Nonterminal(S), isStart=false, isFinal=false, numId=2), inputPosition=1)", shape = plain]
74-
1_0->1_1
75-
1_0->1_20
76-
1_2->1_3
77-
1_3->1_0
78-
1_4->1_5
79-
1_6->1_7
80-
1_7->1_0
81-
1_8->1_9
82-
1_9->1_4
83-
1_9->1_6
84-
1_10->1_11
85-
1_12->1_13
86-
1_13->1_8
87-
1_13->1_10
88-
1_14->1_15
89-
1_15->1_12
90-
1_16->1_17
91-
1_17->1_4
92-
1_17->1_14
93-
1_18->1_19
94-
1_20->1_16
95-
1_20->1_18
50+
_1_0 [label = "164Range , input: [0, 0], rsm: [S_0, S_1]", shape = ellipse]
51+
_1_1 [label = "165Terminal '(', input: [0, 0]", shape = rectangle]
52+
_1_2 [label = "167Range , input: [0, 0], rsm: [S_1, S_2]", shape = ellipse]
53+
_1_3 [label = "168Nonterminal S, input: [0, 0]", shape = invtrapezium]
54+
_1_4 [label = "169Range , input: [0, 0], rsm: [S_0, S_2]", shape = ellipse]
55+
_1_5 [label = "170Intermediate input: 0, rsm: S_1, input: [0, 0]", shape = plain]
56+
_1_6 [label = "171Range , input: [0, 1], rsm: [S_2, S_0]", shape = ellipse]
57+
_1_7 [label = "172Terminal ')', input: [0, 1]", shape = rectangle]
58+
_1_8 [label = "173Range , input: [0, 1], rsm: [S_0, S_0]", shape = ellipse]
59+
_1_9 [label = "174Intermediate input: 0, rsm: S_2, input: [0, 1]", shape = plain]
60+
_1_10 [label = "176Nonterminal S, input: [0, 1]", shape = invtrapezium]
61+
_1_0->_1_1
62+
_1_2->_1_3
63+
_1_4->_1_5
64+
_1_5->_1_0
65+
_1_5->_1_2
66+
_1_6->_1_7
67+
_1_8->_1_9
68+
_1_9->_1_4
69+
_1_9->_1_6
70+
_1_10->_1_8
9671
}
9772

9873
}

0 commit comments

Comments
 (0)