dalo by sa to vyriesit napr. takto (ked berieme povodny prvy riadok):
q0, (c(preskrtnute),Z,Z), (c(preskrtnute),Z,Z), q0, (R,R,R)
q0, (a,B,B), (a,B,B), qa, (R,-,-)
qa, (a,B,B), (a,B,B), qa2, (R,R,-)
qa2, (b,B,B), (b,B,B), q1, (R,-,R)
qa2, (a,B,B), (a,B,B), qa, (R,-,-)
q1, (b,B,B), (b,B,B), q1, (R,-,R)
q1, (c,B,B), (c,B,B), q2, (R,L,L)
q2, (c,B,B), (c,B,B), q2, (R,L,L)
q2, (s,B,B), (s,B,B), q3, (-,L,L)
q3, (s,Z,Z), (s,Z,Z), qF, (-,-,-)
postup rovnaky, len povodny posledny riadok sa stane predposlednym, a posunu sa pocitadla dolava(cize sa dekrementuju naspat, kedze v prvom kroku sa inkrementovali) a prejde sa do stavu q3, a az v nom ak budu pocitadla vynulovane, tak sa prejde do koncoveho stavu.