RicardoPerezAguila LenguajesYAutomatas Semana2

Asignatura:
Lenguajes y Autómatas
Profesor: Dr. Ricardo Pérez Aguila

Sesión en línea 2
Actividad 2. Construcción de una máquina de Turing
Objetivo:
Realizar un diagrama y tabla de transición de una máquina de Turing
para comprender su estructura y funcionamiento.
Instrucciones:
Revisa los apuntes, así como las lecturas base y complementaria del
bloque.
Realiza la construcción de una máquina de Turing, seleccionando
algunas de estas en el archivo de apoyo Maquina_Turing.pdf.
Una vez seleccionada la máquina de Turing, deberás construir un
diagrama de transición, incluyendo a la tabla de transición, indicando los
elementos que definen a la máquina de Turing que has desarrollado.
Considera los siguientes aspectos para el desarrollo de la actividad:
•Incorpora capturas de pantalla del diagrama de transición y de la tabla

de transición.
•Describe de forma clara la creación del diagrama de transición y de la
tabla de transición
•El documento deberá incluir portada de presentación, introducción y
conclusiones.
•En caso de utilizar fuentes de consulta externa, cita en formato APA.
Rúbrica:
Introducción
El tema se delimita con claridad y precisión, se pone en contexto al lector, al tiempo que se
anticipa el tratamiento que se dará al tema, así como la tesis.
13%
Procedimiento
Se explican los procedimientos, técnicas o metodología empleados en la actividad, siguiendo
detalladamente las instrucciones para su realización.
40%
Resultados
Los resultados se presentan de manera clara, se incluyen los datos esenciales y la forma como
fueron obtenidos.
34%
Aspectos formales
No presenta errores ortográficos ni de redacción e incluye referencias en formato APA.
13%
Fecha de entrega:
Lunes 19 de marzo de 2024.
23.55 hrs.
Máquinas de Turing
• Definición
• Una máquina de Turing T se forma por cuatro objetos:
• 1) Un conjunto finito Q de estados. Uno de los elementos de Q es
denotado como H y es llamado estado de parada (Halting State).
• 2) Un conjunto finito Σ de símbolos llamado el alfabeto de cinta

(tape alphabet). Uno de los elementos de Σ es # y es llamado
espacio o carácter nulo (blank symbol). Se asume que los símbolos
L, R, S ∉ Σ. $ ∈ Σ e indica el inicio de una cadena.
Máquinas de Turing
• 3) Un estado inicial Q0 ∈ Q.
• 4) Una función de transición δ(Q, x) donde Q ∈ Q
(Q ≠ H) y x ∈ Σ. El valor de δ(Q, x) es una tripleta
(Q’, x’, N) donde Q’ ∈ Q, x’ ∈ Σ y N ∈ {L, R, S}.
• Formalmente se tiene que

δ: (Q \ {H}) × Σ → Q × Σ × {L, R, S}
• Los símbolos L, R y S denotan “Left”, “Right” y “Stay”

respectivamente.
Máquinas de Turing
• Interpretación:
• Una máquina de Turing puede ser vista como un dispositivo mecánico en

el que una cabeza lee o escribe sobre una cinta.
• La cinta es de longitud infinita y está dividida en posiciones.
• La cabeza puede moverse hacia la izquierda o hacia la derecha.

Máquinas de Turing
• δ(Q, x) = (Q’, x’, N) se interpreta de la siguiente manera:
• T se encuentra en el estado Q y la cabeza lee el símbolo x.
• Al aplicar la función de transición se tiene que T ahora se

cambia al estado Q’ y la cabeza reemplaza a x por x’ en la
cinta.
Máquinas de Turing
• Si N = R entonces la cabeza se mueve una

posición hacia la derecha.
• Si N = L entonces la cabeza se mueve una

posición hacia la izquierda.
• Si N = S entonces la cabeza permanece en su

posición actual.
Máquinas de Turing
• El contenido de la cinta se representa por 3
cadenas: σ1, x, σ2.
• Donde:
• σ1 es el contenido de la cinta a la izquierda de la cabeza.
• x es el símbolo sobre la cabeza.
• σ2 es el contenido de la cinta a la derecha de la cabeza.

Máquinas de Turing
• Es posible que σ1 = λ o σ2 = λ.
• Si σ1 = λ entonces la cabeza está posicionada al inicio

de la cinta.
• σ2 = λ entonces se asume que todas las posiciones a la

derecha de la cabeza contienen únicamente espacios.
Máquinas de Turing
• Definición:
• Una configuración en una máquina de Turing se

especifica como:
[Q,σ1 xσ2 ]
• Donde el símbolo subrayado x indica la posición
actual de la cabeza.
Máquinas de Turing
• Definición:
• Supóngase que δ(Q, x) = (Q’, x’, N) en la función de

transición de una máquina de Turing.
• Entonces se tiene la transición o movimiento:
[Q, σ 1 xσ 2 ] → [Q ', σ 1 ' x 'σ 2 ']

Máquinas de Turing
• Definición:
• Si una máquina de Turing T se mueve de la configuración
[Q, σ 1 xσ 2 ]
a la configuración
[Q ', σ 1 ' x 'σ 2 ']

debido a la aplicación de varios movimientos, se tiene entonces que:
[Q, σ 1 xσ 2 ] → *[Q ', σ 1 ' x 'σ 2 ']

Máquinas de Turing
• Definición 5.2:
• Sea L un lenguaje sobre un alfabeto Σ tal que #,
$ ∉ Σ. Se dice que L es reconocido por Turing si existe
una máquina de Turing T con las siguientes
propiedades:
• ΣT = Σ ∪ {$, #}
• Sea σ una cadena en Σ* y sea la configuración inicial de T

dada por
[Q 0 , $σ ]
Máquinas de Turing
• Si σ ∈ L entonces la máquina T deberá
detenerse en la configuración
Es decir
[ H ,$Y ]
[Q0 ,$σ ] → *[ H ,$Y ]
• Si σ ∉ L entonces la máquina T deberá
detenerse en la configuración
[ H ,$N ]
¡Muchas gracias por su atención!

RicardoPerezAguila LenguajesYAutomatas Semana2

Cargado por

Copyright:

Formatos disponibles

RicardoPerezAguila LenguajesYAutomatas Semana2

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

RicardoPerezAguila LenguajesYAutomatas Semana2

Cargado por

Copyright:

Formatos disponibles

Asignatura:

Profesor: Dr. Ricardo Pérez Aguila

Considera los siguientes aspectos para el desarrollo de la actividad:

•Incorpora capturas de pantalla del diagrama de transición y de la tabla

• 2) Un conjunto finito Σ de símbolos llamado el alfabeto de cinta

• Formalmente se tiene que

• Los símbolos L, R y S denotan “Left”, “Right” y “Stay”

• Una máquina de Turing puede ser vista como un dispositivo mecánico en

• La cinta es de longitud infinita y está dividida en posiciones.

• La cabeza puede moverse hacia la izquierda o hacia la derecha.

• δ(Q, x) = (Q’, x’, N) se interpreta de la siguiente manera:

• T se encuentra en el estado Q y la cabeza lee el símbolo x.

• Al aplicar la función de transición se tiene que T ahora se

• Si N = R entonces la cabeza se mueve una

• Si N = L entonces la cabeza se mueve una

• Si N = S entonces la cabeza permanece en su

• x es el símbolo sobre la cabeza.

• σ2 es el contenido de la cinta a la derecha de la cabeza.

• Si σ1 = λ entonces la cabeza está posicionada al inicio

• σ2 = λ entonces se asume que todas las posiciones a la

• Una configuración en una máquina de Turing se

• Supóngase que δ(Q, x) = (Q’, x’, N) en la función de

• Entonces se tiene la transición o movimiento:

[Q, σ 1 xσ 2 ] → [Q ', σ 1 ' x 'σ 2 ']

[Q ', σ 1 ' x 'σ 2 ']

[Q, σ 1 xσ 2 ] → *[Q ', σ 1 ' x 'σ 2 ']

• Sea σ una cadena en Σ* y sea la configuración inicial de T

También podría gustarte