//-------CONFIGURATION name: TM1 init: s accept: f // s s,0 s,0,> s,1 s,1,> s,_ q0,#,< // q0 q0,# q0,#,< q0,_ x,_,> q0,0 q1,#,> q0,1 q2,#,> // q1 q1,# q1,#,> q1,0 q1,0,> q1,1 q1,1,> q1,_ q3,0,< // q2 q2,# q2,#,> q2,0 q2,0,> q2,1 q2,1,> q2,_ q3,1,< // q3 q3,0 q3,0,< q3,1 q3,1,< q3,# q0,#,< // x x,# x,_,> x,_ f,_,> x,0 f,0,> x,1 f,1,>