red if it denotes an initial node,
blue if it is a standard nodes, this node is the default one,
with a double circle if it denotes a final node.
red and with double circle if it is both an initial and final node.
red if it denotes an initial node,
blue if it is a standard nodes, this node is the default one,
with a double circle if it denotes a final node.
red and with double circle if it is both an initial and final node.
Arcs are represented by lines connecting two nodes: 
; the input symbol that activates the transition is the arc label.
Arcs connecting a node with itself (loop connection) will appear as a circle starting and ending from the node: 
.
@ is the empty stack symbol.
Back to Index