blob: 4f5792ecf13025ad876dae141eb0aaac57040003 (
plain)
1
2
3
4
5
6
7
|
digraph {
size="5,4"
1 [label=" start state ", shape=circle, style=filled, color=blue]
2 [label="start/end state", shape=doublecircle, style=filled, color=blue]
3 [label=" internal state", shape=circle, style=filled, color=red]
4 [label=" end state ", shape=doublecircle, style=filled, color=green]
}
|