Máquinas de Turing como aceptadoras de lenguajes

Una M puede comportarse como un dispositivo para aceptar lenguajes.

Para esto se coloca la cadena a analizar en la cinta y la cabeza de L/E se posiciona en el símbolo
del extremo izquierdo, si partiendo del estado inicial y después de varios p movimientos la
cadena es consumida en su totalidad y la M se detiene en un estado de aceptación, la cadena
es válida y pertenece al lenguaje.

Nota: la cadena vacía está representada por el símbolo (blanco)

Características:

1. De cada estado salen exactamente 3 transiciones según el alfabeto.

2. No se permite tener transiciones con cadena vacía entre el diagrama.
3. Para aceptar una cadena del lenguaje es necesario tener una cadena vacía.
4. El estado o estados de aceptación son los únicos que no especifican transiciones de
salida.