CupStatesToDiagram

Description

CupStatesToDiagram is a program to translate the Cup's states debug output to different diagrams. It can be helpful when trying to resolve conflicts or wanting to see the LALR state diagram of a grammar. It can be used in the learning process to verify that the drawn state diagram of a grammar is correct.

CupStatesToDiagram was written in Java, JFlex and Cup were used to parse the Cup's states debug output.

Usage

Java 17 is required to be installed.

CupStatesToDiagram can be easily used by downloading the CupStatesToDiagram-0.1.jar file in the Releases section and running:

java -jar CupStatesToDiagram-0.1.jar

Alternatively, you can clone the repository and run mvn package to generate locally the jar. The jar will be saved in the target directory.

Arguments

usage: CupStatesToDiagram [-h] [-i I] [-o O] [--graphviz | --plantuml |
                           --nomnoml | --debug]

Translate Cup's states in the debug output to diagrams.

named arguments:
  -h, --help             show this help message and exit
  -i I                   Take the input from a file.
  -o O                   Output to a file.

Diagram type:
  --graphviz             Create  a  Graphviz   diagram   in  dot  language.
                         (Default)
  --plantuml             Create a PlantUML diagram in its language.
  --debug                Debug the Lexer and Parser.  The input will run on
                         both and produce the Cup's states debug output.

You can paste the Cup's states output to stdin or specify with -i a file path where it was saved.

The output has the same options. By default, it will be printed to the stdout but the option -o can be used to specify a file path where to write it.

Diagram choice

Two types of diagrams are supported, but only Graphviz support large diagrams. PlantUML theoretically supports it too, but you need a self-hosted version and tweak some config files.

For Graphiz I suggest copying the generated dot lang output and using an online Graphiz Visual Editor like graphviz-visual-editor to navigate a large diagram. Exporting the diagram in SVG allows one to open it in a browser and search for states and items.

Examples

Example 1

Input

The input4.txt represents the LALR states of the well known grammar in below:

Grammar

E -> E PLUS T
E -> T
T -> T MULT F
T -> F
F -> LPAR E RPAR
F -> ID 

Output

Graphvix's dot language

digraph g {
  fontname="Helvetica,Arial,sans-serif"
  node [fontname="Helvetica,Arial,sans-serif"]
  edge [fontname="Helvetica,Arial,sans-serif"]
  graph [fontsize=30 labelloc="t" label="" splines=true overlap=false ];
  ratio = auto;
"state0" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #0</font></td></tr><tr><td align="left">F -&gt; &bull; LPAR E RPAR </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT </td></tr><tr><td align="left">E -&gt; &bull; T </td><td bgcolor="lightgrey" align="left">EOF PLUS </td></tr><tr><td align="left">T -&gt; &bull; F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT </td></tr><tr><td align="left">$START -&gt; &bull; E EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">F -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT </td></tr><tr><td align="left">T -&gt; &bull; T MULT F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT </td></tr><tr><td align="left">E -&gt; &bull; E PLUS T </td><td bgcolor="lightgrey" align="left">EOF PLUS </td></tr></table>> ];
"state1" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #1</font></td></tr><tr><td align="left">F -&gt; ID &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state2" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #2</font></td></tr><tr><td align="left">E -&gt; T &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS RPAR </td></tr><tr><td align="left">T -&gt; T &bull; MULT F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state3" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #3</font></td></tr><tr><td align="left">F -&gt; LPAR &bull; E RPAR </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">F -&gt; &bull; LPAR E RPAR </td><td bgcolor="lightgrey" align="left">PLUS MULT RPAR </td></tr><tr><td align="left">E -&gt; &bull; T </td><td bgcolor="lightgrey" align="left">PLUS RPAR </td></tr><tr><td align="left">T -&gt; &bull; F </td><td bgcolor="lightgrey" align="left">PLUS MULT RPAR </td></tr><tr><td align="left">F -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">PLUS MULT RPAR </td></tr><tr><td align="left">T -&gt; &bull; T MULT F </td><td bgcolor="lightgrey" align="left">PLUS MULT RPAR </td></tr><tr><td align="left">E -&gt; &bull; E PLUS T </td><td bgcolor="lightgrey" align="left">PLUS RPAR </td></tr></table>> ];
"state4" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #4</font></td></tr><tr><td align="left">T -&gt; F &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state5" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #5</font></td></tr><tr><td align="left">$START -&gt; E &bull; EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">E -&gt; E &bull; PLUS T </td><td bgcolor="lightgrey" align="left">EOF PLUS </td></tr></table>> ];
"state6" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #6</font></td></tr><tr><td align="left">F -&gt; &bull; LPAR E RPAR </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">T -&gt; &bull; F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">F -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">E -&gt; E PLUS &bull; T </td><td bgcolor="lightgrey" align="left">EOF PLUS RPAR </td></tr><tr><td align="left">T -&gt; &bull; T MULT F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state7" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #7</font></td></tr><tr><td align="left">$START -&gt; E EOF &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state8" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #8</font></td></tr><tr><td align="left">E -&gt; E PLUS T &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS RPAR </td></tr><tr><td align="left">T -&gt; T &bull; MULT F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state9" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #9</font></td></tr><tr><td align="left">F -&gt; &bull; LPAR E RPAR </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">T -&gt; T MULT &bull; F </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr><tr><td align="left">F -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state10" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #10</font></td></tr><tr><td align="left">T -&gt; T MULT F &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state11" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #11</font></td></tr><tr><td align="left">E -&gt; E &bull; PLUS T </td><td bgcolor="lightgrey" align="left">PLUS RPAR </td></tr><tr><td align="left">F -&gt; LPAR E &bull; RPAR </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
"state12" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #12</font></td></tr><tr><td align="left">F -&gt; LPAR E RPAR &bull; </td><td bgcolor="lightgrey" align="left">EOF PLUS MULT RPAR </td></tr></table>> ];
state0-> state5[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "E "];
state0-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "F "];
state0-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LPAR "];
state0-> state2[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "T "];
state0-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state2-> state9[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "MULT "];
state3-> state11[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "E "];
state3-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "F "];
state3-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LPAR "];
state3-> state2[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "T "];
state3-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state5-> state7[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "EOF "];
state5-> state6[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "PLUS "];
state6-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "F "];
state6-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LPAR "];
state6-> state8[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "T "];
state6-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state8-> state9[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "MULT "];
state9-> state10[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "F "];
state9-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LPAR "];
state9-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state11-> state12[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RPAR "];
state11-> state6[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "PLUS "];
}

Graphviz's rendered diagram online

Graphviz's rendered diagram offline

PlantUML language

@startuml
map 0 {
F -> (*) LPAR E RPAR => EOF PLUS MULT 
E -> (*) T => EOF PLUS 
T -> (*) F => EOF PLUS MULT 
$START -> (*) E EOF => EOF 
F -> (*) ID => EOF PLUS MULT 
T -> (*) T MULT F => EOF PLUS MULT 
E -> (*) E PLUS T => EOF PLUS 
}
map 1 {
F -> ID (*) => EOF PLUS MULT RPAR 
}
map 2 {
E -> T (*) => EOF PLUS RPAR 
T -> T (*) MULT F => EOF PLUS MULT RPAR 
}
map 3 {
F -> LPAR (*) E RPAR => EOF PLUS MULT RPAR 
F -> (*) LPAR E RPAR => PLUS MULT RPAR 
E -> (*) T => PLUS RPAR 
T -> (*) F => PLUS MULT RPAR 
F -> (*) ID => PLUS MULT RPAR 
T -> (*) T MULT F => PLUS MULT RPAR 
E -> (*) E PLUS T => PLUS RPAR 
}
map 4 {
T -> F (*) => EOF PLUS MULT RPAR 
}
map 5 {
$START -> E (*) EOF => EOF 
E -> E (*) PLUS T => EOF PLUS 
}
map 6 {
F -> (*) LPAR E RPAR => EOF PLUS MULT RPAR 
T -> (*) F => EOF PLUS MULT RPAR 
F -> (*) ID => EOF PLUS MULT RPAR 
E -> E PLUS (*) T => EOF PLUS RPAR 
T -> (*) T MULT F => EOF PLUS MULT RPAR 
}
map 7 {
$START -> E EOF (*) => EOF 
}
map 8 {
E -> E PLUS T (*) => EOF PLUS RPAR 
T -> T (*) MULT F => EOF PLUS MULT RPAR 
}
map 9 {
F -> (*) LPAR E RPAR => EOF PLUS MULT RPAR 
T -> T MULT (*) F => EOF PLUS MULT RPAR 
F -> (*) ID => EOF PLUS MULT RPAR 
}
map 10 {
T -> T MULT F (*) => EOF PLUS MULT RPAR 
}
map 11 {
E -> E (*) PLUS T => PLUS RPAR 
F -> LPAR E (*) RPAR => EOF PLUS MULT RPAR 
}
map 12 {
F -> LPAR E RPAR (*) => EOF PLUS MULT RPAR 
}
0--> 5 : E 
0--> 4 : F 
0--> 3 : LPAR 
0--> 2 : T 
0--> 1 : ID 
2--> 9 : MULT 
3--> 11 : E 
3--> 4 : F 
3--> 3 : LPAR 
3--> 2 : T 
3--> 1 : ID 
5--> 7 : EOF 
5--> 6 : PLUS 
6--> 4 : F 
6--> 3 : LPAR 
6--> 8 : T 
6--> 1 : ID 
8--> 9 : MULT 
9--> 10 : F 
9--> 3 : LPAR 
9--> 1 : ID 
11--> 12 : RPAR 
11--> 6 : PLUS 
@enduml

PlantUML's rendered diagram online

PlantUML's rendered diagram offline

Example 2

Input

The input5.txt represents the LALR states of another well known grammar in below:

Grammar

S -> C C
C -> c C
C -> d 

Output

Graphviz's dot language

digraph g {
  fontname="Helvetica,Arial,sans-serif"
  node [fontname="Helvetica,Arial,sans-serif"]
  edge [fontname="Helvetica,Arial,sans-serif"]
  graph [fontsize=30 labelloc="t" label="" splines=true overlap=false ];
  ratio = auto;
"state0" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #0</font></td></tr><tr><td align="left">C -&gt; &bull; c C </td><td bgcolor="lightgrey" align="left">c d </td></tr><tr><td align="left">$START -&gt; &bull; S EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">C -&gt; &bull; d </td><td bgcolor="lightgrey" align="left">c d </td></tr><tr><td align="left">S -&gt; &bull; C C </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state1" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #1</font></td></tr><tr><td align="left">$START -&gt; S &bull; EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state2" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #2</font></td></tr><tr><td align="left">C -&gt; &bull; c C </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">C -&gt; &bull; d </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">S -&gt; C &bull; C </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state3" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #3</font></td></tr><tr><td align="left">C -&gt; d &bull; </td><td bgcolor="lightgrey" align="left">EOF c d </td></tr></table>> ];
"state4" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #4</font></td></tr><tr><td align="left">C -&gt; c &bull; C </td><td bgcolor="lightgrey" align="left">EOF c d </td></tr><tr><td align="left">C -&gt; &bull; c C </td><td bgcolor="lightgrey" align="left">EOF c d </td></tr><tr><td align="left">C -&gt; &bull; d </td><td bgcolor="lightgrey" align="left">EOF c d </td></tr></table>> ];
"state5" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #5</font></td></tr><tr><td align="left">C -&gt; c C &bull; </td><td bgcolor="lightgrey" align="left">EOF c d </td></tr></table>> ];
"state6" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #6</font></td></tr><tr><td align="left">S -&gt; C C &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state7" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #7</font></td></tr><tr><td align="left">$START -&gt; S EOF &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
state0-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "c "];
state0-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "d "];
state0-> state2[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "C "];
state0-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "S "];
state1-> state7[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "EOF "];
state2-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "c "];
state2-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "d "];
state2-> state6[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "C "];
state4-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "c "];
state4-> state5[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "C "];
state4-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "d "];
}

Graphviz's render diagram online

Graphviz's render diagram online

PlantUML language

@startuml
map 0 {
C -> (*) c C => c d 
$START -> (*) S EOF => EOF 
C -> (*) d => c d 
S -> (*) C C => EOF 
}
map 1 {
$START -> S (*) EOF => EOF 
}
map 2 {
C -> (*) c C => EOF 
C -> (*) d => EOF 
S -> C (*) C => EOF 
}
map 3 {
C -> d (*) => EOF c d 
}
map 4 {
C -> c (*) C => EOF c d 
C -> (*) c C => EOF c d 
C -> (*) d => EOF c d 
}
map 5 {
C -> c C (*) => EOF c d 
}
map 6 {
S -> C C (*) => EOF 
}
map 7 {
$START -> S EOF (*) => EOF 
}
0--> 4 : c 
0--> 3 : d 
0--> 2 : C 
0--> 1 : S 
1--> 7 : EOF 
2--> 4 : c 
2--> 3 : d 
2--> 6 : C 
4--> 4 : c 
4--> 5 : C 
4--> 3 : d 
@enduml

PlantUML's rendered diagram online

PlantUML's rendered diagram offline

Example 3

Input

The input1.txt represents the LALR states of the grammar used in this project.

Output

Graphviz dot lang

digraph g {
  fontname="Helvetica,Arial,sans-serif"
  node [fontname="Helvetica,Arial,sans-serif"]
  edge [fontname="Helvetica,Arial,sans-serif"]
  graph [fontsize=30 labelloc="t" label="" splines=true overlap=false ];
  ratio = auto;
"state0" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #0</font></td></tr><tr><td align="left">$START -&gt; &bull; StartState EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">StartState -&gt; &bull; START States </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state1" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #1</font></td></tr><tr><td align="left">$START -&gt; StartState &bull; EOF </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state2" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #2</font></td></tr><tr><td align="left">State -&gt; &bull; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">States -&gt; &bull; State States </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">State -&gt; &bull; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">States -&gt; &bull; State </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">StartState -&gt; START &bull; States </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state3" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #3</font></td></tr><tr><td align="left">StartState -&gt; START States &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state4" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #4</font></td></tr><tr><td align="left">State -&gt; &bull; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">States -&gt; State &bull; States </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">States -&gt; &bull; State States </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">State -&gt; &bull; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">States -&gt; State &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr><tr><td align="left">States -&gt; &bull; State </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state5" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #5</font></td></tr><tr><td align="left">State -&gt; LALRWRD &bull; LSQ SNUM RSQ COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD &bull; LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state6" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #6</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ &bull; SNUM RSQ COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ &bull; SNUM RSQ COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state7" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #7</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM &bull; RSQ COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM &bull; RSQ COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state8" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #8</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ &bull; COLON LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ &bull; COLON LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state9" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #9</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON &bull; LCUR Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON &bull; LCUR Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state10" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #10</font></td></tr><tr><td align="left">Item -&gt; &bull; LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr><tr><td align="left">Items -&gt; &bull; Item </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR &bull; Items RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">Items -&gt; &bull; Item Items </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR &bull; Items RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state11" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #11</font></td></tr><tr><td align="left">Item -&gt; LSQ &bull; ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state12" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #12</font></td></tr><tr><td align="left">Item -&gt; &bull; LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr><tr><td align="left">Items -&gt; Item &bull; </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">Items -&gt; &bull; Item </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">Items -&gt; Item &bull; Items </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">Items -&gt; &bull; Item Items </td><td bgcolor="lightgrey" align="left">RCUR </td></tr></table>> ];
"state13" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #13</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items &bull; RCUR SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items &bull; RCUR Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state14" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #14</font></td></tr><tr><td align="left">Trans -&gt; &bull; Tran </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR &bull; SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr><tr><td align="left">Trans -&gt; &bull; Tran Trans </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">Tran -&gt; &bull; TRANWRD ID STATEWRD LSQ SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR &bull; Trans SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state15" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #15</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP &bull; </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state16" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #16</font></td></tr><tr><td align="left">Trans -&gt; Tran &bull; </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">Trans -&gt; &bull; Tran </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">Trans -&gt; Tran &bull; Trans </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">Trans -&gt; &bull; Tran Trans </td><td bgcolor="lightgrey" align="left">SEP </td></tr><tr><td align="left">Tran -&gt; &bull; TRANWRD ID STATEWRD LSQ SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state17" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #17</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD &bull; ID STATEWRD LSQ SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state18" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #18</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans &bull; SEP </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state19" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #19</font></td></tr><tr><td align="left">State -&gt; LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP &bull; </td><td bgcolor="lightgrey" align="left">EOF LALRWRD </td></tr></table>> ];
"state20" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #20</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD ID &bull; STATEWRD LSQ SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state21" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #21</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD ID STATEWRD &bull; LSQ SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state22" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #22</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD ID STATEWRD LSQ &bull; SNUM RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state23" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #23</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD ID STATEWRD LSQ SNUM &bull; RSQ </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state24" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #24</font></td></tr><tr><td align="left">Tran -&gt; TRANWRD ID STATEWRD LSQ SNUM RSQ &bull; </td><td bgcolor="lightgrey" align="left">TRANWRD SEP </td></tr></table>> ];
"state25" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #25</font></td></tr><tr><td align="left">Trans -&gt; Tran Trans &bull; </td><td bgcolor="lightgrey" align="left">SEP </td></tr></table>> ];
"state26" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #26</font></td></tr><tr><td align="left">Items -&gt; Item Items &bull; </td><td bgcolor="lightgrey" align="left">RCUR </td></tr></table>> ];
"state27" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #27</font></td></tr><tr><td align="left">Item -&gt; LSQ ID &bull; DERSYM SentForm COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state28" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #28</font></td></tr><tr><td align="left">Ids -&gt; &bull; ID Ids </td><td bgcolor="lightgrey" align="left">DOTSYM </td></tr><tr><td align="left">SentForm -&gt; &bull; Ids DOTSYM </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; &bull; DOTSYM </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; &bull; DOTSYM Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM &bull; SentForm COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr><tr><td align="left">Ids -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">DOTSYM </td></tr><tr><td align="left">SentForm -&gt; &bull; Ids DOTSYM Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state29" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #29</font></td></tr><tr><td align="left">Ids -&gt; ID &bull; Ids </td><td bgcolor="lightgrey" align="left">RCUR COMMA DOTSYM </td></tr><tr><td align="left">Ids -&gt; &bull; ID Ids </td><td bgcolor="lightgrey" align="left">RCUR COMMA DOTSYM </td></tr><tr><td align="left">Ids -&gt; ID &bull; </td><td bgcolor="lightgrey" align="left">RCUR COMMA DOTSYM </td></tr><tr><td align="left">Ids -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">RCUR COMMA DOTSYM </td></tr></table>> ];
"state30" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #30</font></td></tr><tr><td align="left">SentForm -&gt; Ids &bull; DOTSYM </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; Ids &bull; DOTSYM Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state31" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #31</font></td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm &bull; COMMA LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state32" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #32</font></td></tr><tr><td align="left">Ids -&gt; &bull; ID Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; DOTSYM &bull; </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; DOTSYM &bull; Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">Ids -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state33" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #33</font></td></tr><tr><td align="left">SentForm -&gt; DOTSYM Ids &bull; </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state34" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #34</font></td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm COMMA &bull; LCUR Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state35" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #35</font></td></tr><tr><td align="left">Ids -&gt; &bull; ID Ids </td><td bgcolor="lightgrey" align="left">RCUR </td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm COMMA LCUR &bull; Ids RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr><tr><td align="left">Ids -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">RCUR </td></tr></table>> ];
"state36" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #36</font></td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm COMMA LCUR Ids &bull; RCUR RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state37" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #37</font></td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR &bull; RSQ </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state38" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #38</font></td></tr><tr><td align="left">Item -&gt; LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ &bull; </td><td bgcolor="lightgrey" align="left">LSQ RCUR </td></tr></table>> ];
"state39" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #39</font></td></tr><tr><td align="left">SentForm -&gt; Ids DOTSYM &bull; </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">Ids -&gt; &bull; ID Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">SentForm -&gt; Ids DOTSYM &bull; Ids </td><td bgcolor="lightgrey" align="left">COMMA </td></tr><tr><td align="left">Ids -&gt; &bull; ID </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state40" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #40</font></td></tr><tr><td align="left">SentForm -&gt; Ids DOTSYM Ids &bull; </td><td bgcolor="lightgrey" align="left">COMMA </td></tr></table>> ];
"state41" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #41</font></td></tr><tr><td align="left">Ids -&gt; ID Ids &bull; </td><td bgcolor="lightgrey" align="left">RCUR COMMA DOTSYM </td></tr></table>> ];
"state42" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #42</font></td></tr><tr><td align="left">States -&gt; State States &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
"state43" [ style = "filled" penwidth = 1 fillcolor = "white" fontname = "Courier New" shape = "Mrecord" label =<<table border="0" cellborder="0" cellpadding="3" bgcolor="white"><tr><td bgcolor="black" align="center" colspan="2"><font color="white">State #43</font></td></tr><tr><td align="left">$START -&gt; StartState EOF &bull; </td><td bgcolor="lightgrey" align="left">EOF </td></tr></table>> ];
state0-> state2[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "START "];
state0-> state1[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "StartState "];
state1-> state43[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "EOF "];
state2-> state5[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LALRWRD "];
state2-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "State "];
state2-> state3[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "States "];
state4-> state5[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LALRWRD "];
state4-> state4[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "State "];
state4-> state42[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "States "];
state5-> state6[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LSQ "];
state6-> state7[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "SNUM "];
state7-> state8[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RSQ "];
state8-> state9[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "COLON "];
state9-> state10[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LCUR "];
state10-> state13[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Items "];
state10-> state12[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Item "];
state10-> state11[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LSQ "];
state11-> state27[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state12-> state26[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Items "];
state12-> state12[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Item "];
state12-> state11[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LSQ "];
state13-> state14[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RCUR "];
state14-> state18[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Trans "];
state14-> state17[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "TRANWRD "];
state14-> state16[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Tran "];
state14-> state15[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "SEP "];
state16-> state25[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Trans "];
state16-> state17[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "TRANWRD "];
state16-> state16[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Tran "];
state17-> state20[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state18-> state19[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "SEP "];
state20-> state21[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "STATEWRD "];
state21-> state22[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LSQ "];
state22-> state23[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "SNUM "];
state23-> state24[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RSQ "];
state27-> state28[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "DERSYM "];
state28-> state32[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "DOTSYM "];
state28-> state31[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "SentForm "];
state28-> state30[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Ids "];
state28-> state29[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state29-> state41[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Ids "];
state29-> state29[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state30-> state39[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "DOTSYM "];
state31-> state34[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "COMMA "];
state32-> state33[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Ids "];
state32-> state29[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state34-> state35[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "LCUR "];
state35-> state36[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Ids "];
state35-> state29[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
state36-> state37[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RCUR "];
state37-> state38[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "RSQ "];
state39-> state40[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "Ids "];
state39-> state29[ penwidth = 1 fontsize = 14 fontcolor = "black" label = "ID "];
}

Graphviz's rendered diagram offline

PlantUML language

@startuml
map 0 {
$START -> (*) StartState EOF => EOF 
StartState -> (*) START States => EOF 
}
map 1 {
$START -> StartState (*) EOF => EOF 
}
map 2 {
State -> (*) LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP => EOF LALRWRD 
States -> (*) State States => EOF 
State -> (*) LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
States -> (*) State => EOF 
StartState -> START (*) States => EOF 
}
map 3 {
StartState -> START States (*) => EOF 
}
map 4 {
State -> (*) LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP => EOF LALRWRD 
States -> State (*) States => EOF 
States -> (*) State States => EOF 
State -> (*) LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
States -> State (*) => EOF 
States -> (*) State => EOF 
}
map 5 {
State -> LALRWRD (*) LSQ SNUM RSQ COLON LCUR Items RCUR SEP => EOF LALRWRD 
State -> LALRWRD (*) LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
}
map 6 {
State -> LALRWRD LSQ (*) SNUM RSQ COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
State -> LALRWRD LSQ (*) SNUM RSQ COLON LCUR Items RCUR SEP => EOF LALRWRD 
}
map 7 {
State -> LALRWRD LSQ SNUM (*) RSQ COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
State -> LALRWRD LSQ SNUM (*) RSQ COLON LCUR Items RCUR SEP => EOF LALRWRD 
}
map 8 {
State -> LALRWRD LSQ SNUM RSQ (*) COLON LCUR Items RCUR Trans SEP => EOF LALRWRD 
State -> LALRWRD LSQ SNUM RSQ (*) COLON LCUR Items RCUR SEP => EOF LALRWRD 
}
map 9 {
State -> LALRWRD LSQ SNUM RSQ COLON (*) LCUR Items RCUR Trans SEP => EOF LALRWRD 
State -> LALRWRD LSQ SNUM RSQ COLON (*) LCUR Items RCUR SEP => EOF LALRWRD 
}
map 10 {
Item -> (*) LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
Items -> (*) Item => RCUR 
State -> LALRWRD LSQ SNUM RSQ COLON LCUR (*) Items RCUR SEP => EOF LALRWRD 
Items -> (*) Item Items => RCUR 
State -> LALRWRD LSQ SNUM RSQ COLON LCUR (*) Items RCUR Trans SEP => EOF LALRWRD 
}
map 11 {
Item -> LSQ (*) ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
}
map 12 {
Item -> (*) LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
Items -> Item (*) => RCUR 
Items -> (*) Item => RCUR 
Items -> Item (*) Items => RCUR 
Items -> (*) Item Items => RCUR 
}
map 13 {
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items (*) RCUR SEP => EOF LALRWRD 
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items (*) RCUR Trans SEP => EOF LALRWRD 
}
map 14 {
Trans -> (*) Tran => SEP 
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR (*) SEP => EOF LALRWRD 
Trans -> (*) Tran Trans => SEP 
Tran -> (*) TRANWRD ID STATEWRD LSQ SNUM RSQ => TRANWRD SEP 
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR (*) Trans SEP => EOF LALRWRD 
}
map 15 {
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR SEP (*) => EOF LALRWRD 
}
map 16 {
Trans -> Tran (*) => SEP 
Trans -> (*) Tran => SEP 
Trans -> Tran (*) Trans => SEP 
Trans -> (*) Tran Trans => SEP 
Tran -> (*) TRANWRD ID STATEWRD LSQ SNUM RSQ => TRANWRD SEP 
}
map 17 {
Tran -> TRANWRD (*) ID STATEWRD LSQ SNUM RSQ => TRANWRD SEP 
}
map 18 {
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans (*) SEP => EOF LALRWRD 
}
map 19 {
State -> LALRWRD LSQ SNUM RSQ COLON LCUR Items RCUR Trans SEP (*) => EOF LALRWRD 
}
map 20 {
Tran -> TRANWRD ID (*) STATEWRD LSQ SNUM RSQ => TRANWRD SEP 
}
map 21 {
Tran -> TRANWRD ID STATEWRD (*) LSQ SNUM RSQ => TRANWRD SEP 
}
map 22 {
Tran -> TRANWRD ID STATEWRD LSQ (*) SNUM RSQ => TRANWRD SEP 
}
map 23 {
Tran -> TRANWRD ID STATEWRD LSQ SNUM (*) RSQ => TRANWRD SEP 
}
map 24 {
Tran -> TRANWRD ID STATEWRD LSQ SNUM RSQ (*) => TRANWRD SEP 
}
map 25 {
Trans -> Tran Trans (*) => SEP 
}
map 26 {
Items -> Item Items (*) => RCUR 
}
map 27 {
Item -> LSQ ID (*) DERSYM SentForm COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
}
map 28 {
Ids -> (*) ID Ids => DOTSYM 
SentForm -> (*) Ids DOTSYM => COMMA 
SentForm -> (*) DOTSYM => COMMA 
SentForm -> (*) DOTSYM Ids => COMMA 
Item -> LSQ ID DERSYM (*) SentForm COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
Ids -> (*) ID => DOTSYM 
SentForm -> (*) Ids DOTSYM Ids => COMMA 
}
map 29 {
Ids -> ID (*) Ids => RCUR COMMA DOTSYM 
Ids -> (*) ID Ids => RCUR COMMA DOTSYM 
Ids -> ID (*) => RCUR COMMA DOTSYM 
Ids -> (*) ID => RCUR COMMA DOTSYM 
}
map 30 {
SentForm -> Ids (*) DOTSYM => COMMA 
SentForm -> Ids (*) DOTSYM Ids => COMMA 
}
map 31 {
Item -> LSQ ID DERSYM SentForm (*) COMMA LCUR Ids RCUR RSQ => LSQ RCUR 
}
map 32 {
Ids -> (*) ID Ids => COMMA 
SentForm -> DOTSYM (*) => COMMA 
SentForm -> DOTSYM (*) Ids => COMMA 
Ids -> (*) ID => COMMA 
}
map 33 {
SentForm -> DOTSYM Ids (*) => COMMA 
}
map 34 {
Item -> LSQ ID DERSYM SentForm COMMA (*) LCUR Ids RCUR RSQ => LSQ RCUR 
}
map 35 {
Ids -> (*) ID Ids => RCUR 
Item -> LSQ ID DERSYM SentForm COMMA LCUR (*) Ids RCUR RSQ => LSQ RCUR 
Ids -> (*) ID => RCUR 
}
map 36 {
Item -> LSQ ID DERSYM SentForm COMMA LCUR Ids (*) RCUR RSQ => LSQ RCUR 
}
map 37 {
Item -> LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR (*) RSQ => LSQ RCUR 
}
map 38 {
Item -> LSQ ID DERSYM SentForm COMMA LCUR Ids RCUR RSQ (*) => LSQ RCUR 
}
map 39 {
SentForm -> Ids DOTSYM (*) => COMMA 
Ids -> (*) ID Ids => COMMA 
SentForm -> Ids DOTSYM (*) Ids => COMMA 
Ids -> (*) ID => COMMA 
}
map 40 {
SentForm -> Ids DOTSYM Ids (*) => COMMA 
}
map 41 {
Ids -> ID Ids (*) => RCUR COMMA DOTSYM 
}
map 42 {
States -> State States (*) => EOF 
}
map 43 {
$START -> StartState EOF (*) => EOF 
}
0--> 2 : START 
0--> 1 : StartState 
1--> 43 : EOF 
2--> 5 : LALRWRD 
2--> 4 : State 
2--> 3 : States 
4--> 5 : LALRWRD 
4--> 4 : State 
4--> 42 : States 
5--> 6 : LSQ 
6--> 7 : SNUM 
7--> 8 : RSQ 
8--> 9 : COLON 
9--> 10 : LCUR 
10--> 13 : Items 
10--> 12 : Item 
10--> 11 : LSQ 
11--> 27 : ID 
12--> 26 : Items 
12--> 12 : Item 
12--> 11 : LSQ 
13--> 14 : RCUR 
14--> 18 : Trans 
14--> 17 : TRANWRD 
14--> 16 : Tran 
14--> 15 : SEP 
16--> 25 : Trans 
16--> 17 : TRANWRD 
16--> 16 : Tran 
17--> 20 : ID 
18--> 19 : SEP 
20--> 21 : STATEWRD 
21--> 22 : LSQ 
22--> 23 : SNUM 
23--> 24 : RSQ 
27--> 28 : DERSYM 
28--> 32 : DOTSYM 
28--> 31 : SentForm 
28--> 30 : Ids 
28--> 29 : ID 
29--> 41 : Ids 
29--> 29 : ID 
30--> 39 : DOTSYM 
31--> 34 : COMMA 
32--> 33 : Ids 
32--> 29 : ID 
34--> 35 : LCUR 
35--> 36 : Ids 
35--> 29 : ID 
36--> 37 : RCUR 
37--> 38 : RSQ 
39--> 40 : Ids 
39--> 29 : ID 
@enduml

PlantUML's rendered diagram online

PlantUML's rendered diagram offline

FAQ

How to get the Cup's states debug output?

• If you are running Cup standalone with its jar, you can add the flag --dump-states. More info about the standalone options can be found here.
• If you are running Cup with Maven, you have to add <dumpStates>true</dumpStates> in the configuration section of its plugin.

How to create diagrams for other software?

You can implement the Visitor interface to translate it to your target software's language.

How to fix Syntax Error?

You probably forgot to copy also the separator ------------------- at the end. Or added a space at the beginning of the word START.

If you have any other issue, please create an Issue on GitHub if one was not already created.