Esta máquina de Turing está definida sobre el alfabeto {\displaystyle \Sigma ={a,b,c}} \Sigma ={a,b,c}, posee el conjunto de estados {\displaystyle Q={q{o},q{1},q{2},q{3},q{4},q{5},q{6}}} Q={q{o},q{1},q{2},q{3},q{4},q{5},q{6}},
con las transiciones que se pueden ver. Su estado inicial es {\displaystyle q{0}} q{0} y el estado final es {\displaystyle q{2}} q{2}, el lenguaje de salida