Running head: AUTÓMATAS Y LENGUAJES FORMALES 1

Construcción de Máquinas de Turing

First Last

WhoYoureWith
AUTÓMATAS Y LENGUAJES FORMALES 2

Construcción de Máquinas de Turing

Ejercicios 1: Maquinas de Turing

A continuación, se llevara a cabo el desarrollo del ejercicio a
AUTÓMATAS Y LENGUAJES FORMALES 3

Ejercicio a trabajar

La máquina de Turing se define como una

P
séptula conformada por Q , ,Γ,S ,F y
δ
Q = {q0 , q1 } Es el conjunto finito de estados.
= {a, b, c} Es el alfabeto de entrada o de
P

la máquina.
Γ= {1} Es el alfabeto de la cinta
S={q0 } Es el estado inicial
F = {q2 } El estado final
δ=(Q · Γ) → (Q · Γ · L, R )
Cinta infinita a ambos lados
Control finito Cabeza lector/escritora
Movimiento izquierdo/derecha

Transductores Reconocedoras
Caracterización de la máquina de
Recibe una palabra
turing
de entrada como
Tiene dos estados
"x", y produce una
finales, los cuales
salida con otra
son llamados esta-
palabra "y".Por
dos de aceptación y
otra parte, Se usa
estados de rechazo
para computar
funciones.

El conjunto de
entrada aceptadas
La secuencia de sal- por la maquina M
ida puede ser bina- se dice que es el
ria o mas compleja. lenguaje aceptado
o reconocido por
AUTÓMATAS Y LENGUAJES FORMALES 4

Ejercicios Grupal 1: Creación de Máquina de Turing Transductora