digraph {
rankdir=LR
in [shape=point style=invis]
0 [color=yellow label="0"]
1 [label="1"]
2 [label="2"]
3 [label="3"]
4 [color=green shape=doublecircle label="4\np=0\nac=0"]
2 -> 3 [label="D"]
2 -> 3 [label="E"]
2 -> 3 [label="F"]
2 -> 3 [label="a"]
2 -> 3 [label="b"]
2 -> 3 [label="c"]
2 -> 3 [label="d"]
0 -> 1 [label="ε"]
1 -> 2 [label="ε"]
1 -> 4 [label="ε"]
3 -> 2 [label="ε"]
3 -> 4 [label="ε"]
in -> 0
}