// minimized DFA
limit 500
trace all

start a
final c
a	0	bg	
a	1	f	
bg	0	bg	
bg	1	c	
c	0	a	
c	1	c	
f	0	c	
f	1	bg	
enddef
tape 01
tape 10
tape 00
tape 11