// initial.dfa   unminimized DFA  for input to Myhill-Nerode minimization

start a
final c
trace all
limit 500

a 0 b
a 1 f
b 0 g
b 1 c
c 0 a
c 1 c
d 0 c
d 1 e
e 0 b
e 1 f
f 0 c
f 1 g
g 0 g
g 1 c
h 0 g
h 1 c

enddef
tape 01
tape 10
tape 00
tape 11