digraph {
rankdir=LR;
s0 [ label = <{0}<br/>(&#8727;)>, shape = "circle" ];
s1 [ label = <{1, 2, 3}<br/>(x)>, shape = "doublecircle" ];
s2 [ label = <{4}<br/>(x)>, shape = "doublecircle" ];
s3 [ label = <{2, 4}<br/>(x)>, shape = "doublecircle" ];
s4 [ label = <{2, 3}<br/>(x)>, shape = "doublecircle" ];

s0 -> s1 [ label = "0 &laquo;fork&raquo;" ];
s2 -> s4 [ label = "0" ];
s4 -> s2 [ label = "0" ];
s4 -> s3 [ label = "1" ];
s1 -> s3 [ label = "0" ];
s1 -> s3 [ label = "1" ];
s3 -> s4 [ label = "0" ];
s3 -> s3 [ label = "1" ];
}