1 2 3 4 5 6 7 8 9 10 11
start: s0 accept: s3 edges: s0 epsilon: s3 s0 a s1 s0 a s2 s1 a s3 s2 b s3 end: