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

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