Máquina Turing G binario

Para el caso de la G que tiene código binario  01000111 de la letra G en ASCII es

Q={q0,q1,q2,q3,q4,q5,q6,q7,q8}

Σ ={0,1}

Γ= {0,1}

Tabla de transición es

Símbolo
estado	0	1
q0	(q1,1,R)	-
q1	-	(q2,1,R)
q2	(q3,0,R)	-
q3	(q4,0,R)	-
q4	(q5,0,R)	-
q5	-	(q6,1,R)
q6	-	(q7,1,R)
q7	-	(q8,1,R)
q8	Estado Final de aceptación

Por lo que solo acepta la cadena 01000111. Su gráfica en jflap queda de la siguiente forma.

Fe de erratas. En el post anterior los símbolos no salieron publicados correctamente.

Q es el conjunto finito de estados

Σ es el alfabeto de la cadena de entrada

Γ es el alfabeto de la cinta
q0 ∈ Q es el estado inicial
b es el espacio en blanco b  ∈  Γ   , pero b ∉ Σ
F ⊂ Q es el conjunto de estados finales

f: Q × Γ → Q × Γ × {I, D}