// n000.dfa   any string over {0,1}  without 3 consecuative 0
//            complement of (0+1)*000(0+1)*  thus regular

start a
final a
final b
final c
trace all
limit 100
//           +---+----------+----------+      +-------+
a 0 b        v   /1         /1         /1     v       |
a 1 a       //-\\  0   //-\\  0   //-\\  0   /---\  0 |
b 0 c   -->|| a ||--->|| b ||--->|| c ||--->|  d  |---+
b 1 a       \\-//      \\-//      \\-//      \---/  1
c 0 d
c 1 a
d 0 d // never reach final state
d 1 d
enddef
tape 0
tape 1
tape 00
tape 11
tape 000
tape 111
tape 0001
tape 1000
tape 10001
tape 11000