# begins with 1 and ends with 0
transitions :
  #   state x alpha -> state
  - [ a,      1,        b ]
  - [ b,      [0,1],    b ]
  - [ b,      0,        c ]
start:    a
accept:   [c]
tests :
  - [ no,          ]
  - [ yes, 10      ]
  - [ no,  01      ]
  - [ yes, 111110  ]
  - [ yes, 100000  ]
