digraph G {
s0
s1
s2
s3
s0 -> s1 [label="0/0"]
s0 -> s3 [label="1/0"]
s1 -> s0 [label="0/0"]
s1 -> s1 [label="1/0"]
s2 -> s0 [label="1/0"]
s2 -> s3 [label="0/1"]
s3 -> s2 [label="1/0"]
s3 -> s3 [label="0/1"]
}