// n2p1.dfa   any string over {0}  with 2n+1  0   n>0
//            thus 3, 5, 7, ... zeros   0^2n+1

start Q0
final Q3
trace all                              +----------------+
limit 100                              v                |
Q0 0 Q1      /---\  0   /---\  0   /---\  0   //--\\  0 |
Q1 0 Q2  -->| Q0  |--->| Q1  |--->| Q2  |--->|| Q3 ||---+
Q2 0 Q3      \---/      \---/      \---/      \\--//
Q3 0 Q2   
enddef
tape 0
tape 00
tape 000
tape 0000
tape 00000
tape 000000
tape 0000000