// fig2_7.nfa  Book, page 21, figure 2.7, diagram 2.5
//             regular expression (0+1)*(00+11)(0+1)*
//             any string of 0's and 1's containing at least
//             two consecutive zeros or ones

start q0
final q2
final q4

q0 0 q0
q0 0 q3
q0 1 q0
q0 1 q1
q1 1 q2
q2 0 q2
q2 1 q2
q3 0 q4
q4 0 q4
q4 1 q4

enddef

tape 10101010 // reject
tape 10110101 // accept
tape 10100101 // accept
tape 01010101 // reject