// Input: a binary string s
// Ouput: accepts if s is of the form (01)*
// Example: accepts 0101 but rejects 011
//
// Tapes:
// #1      input tape
//
// States:
// q0   initial state, when input word in (01)* so far
// q1   when input word in (01)*1 so far
// qA   accepts when input word is fully read and in (01)*

name: 01 MT from slides
init: q0
accept: qA

q0,0
q1,0,>

q0,_
qA,_,-

q1,1
q0,1,>