// myhill.dfa   minimized  initial.dfa
//              should be isomorphic to any minimum machine

start ae
final c

ae 0 bh
ae 1 df
bh 0 g
bh 1 ae
c  0 ae
c  1 c
df 0 c
df 1 g
g  0 g
g  1 ae

enddef