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="0"]
2 -> 3 [label="1"]
2 -> 3 [label="2"]
2 -> 3 [label="3"]
2 -> 3 [label="4"]
2 -> 3 [label="5"]
2 -> 3 [label="6"]
2 -> 3 [label="7"]
2 -> 3 [label="8"]
2 -> 3 [label="9"]
2 -> 3 [label="A"]
2 -> 3 [label="B"]
2 -> 3 [label="C"]
2 -> 3 [label="D"]
2 -> 3 [label="E"]
2 -> 3 [label="F"]
2 -> 3 [label="G"]
2 -> 3 [label="H"]
2 -> 3 [label="I"]
2 -> 3 [label="J"]
2 -> 3 [label="K"]
2 -> 3 [label="L"]
2 -> 3 [label="M"]
2 -> 3 [label="N"]
2 -> 3 [label="O"]
2 -> 3 [label="P"]
2 -> 3 [label="Q"]
2 -> 3 [label="R"]
2 -> 3 [label="S"]
2 -> 3 [label="T"]
2 -> 3 [label="U"]
2 -> 3 [label="V"]
2 -> 3 [label="W"]
2 -> 3 [label="X"]
2 -> 3 [label="Y"]
2 -> 3 [label="Z"]
2 -> 3 [label="a"]
2 -> 3 [label="b"]
2 -> 3 [label="c"]
2 -> 3 [label="d"]
2 -> 3 [label="e"]
2 -> 3 [label="f"]
2 -> 3 [label="g"]
2 -> 3 [label="h"]
2 -> 3 [label="i"]
2 -> 3 [label="j"]
2 -> 3 [label="k"]
2 -> 3 [label="l"]
2 -> 3 [label="m"]
2 -> 3 [label="n"]
2 -> 3 [label="o"]
2 -> 3 [label="p"]
2 -> 3 [label="q"]
2 -> 3 [label="r"]
2 -> 3 [label="s"]
2 -> 3 [label="t"]
2 -> 3 [label="u"]
2 -> 3 [label="v"]
2 -> 3 [label="w"]
2 -> 3 [label="x"]
2 -> 3 [label="y"]
2 -> 3 [label="z"]
0 -> 1 [label="ε"]
1 -> 2 [label="ε"]
1 -> 4 [label="ε"]
3 -> 2 [label="ε"]
3 -> 4 [label="ε"]
in -> 0
}