Pgina 1 de 2

Actividades a desarrollar:
Disee Una MT que se comporte como transductor que reconozca el lenguaje L
={a}* (NO incluye o NO acepta la cadena ). La transduccin (salida) debe ser que
por cada smbolo que entre duplique el smbolo del alfabeto de la cinta: Ejemplo:
para la cadena (aa) la salida ser (bbbb). El alfabeto de la cinta es debe ser
diferente al alfabeto de entrada. Es decir el alfabeto de entrada es a y el de la
cinta b con sus respectivos smbolos blanco si es que los necesita en su diseo.

1. Identifique los componentes de la Mquina de Turing (descrbala).

Los componentes de la Mquina de Turing son:
a. Cinta: la cinta est compuesta por varias celdas, en las cuales se almacena
smbolos de entrada, las cuales son las palabras a evaluar o reconocer por
el autmata. Esta cinta es finita a la izquierda es decir tiene un tope.
La cinta es de longitud infinita hacia la derecha, llenndose las celdas no
ocupadas con caracteres vacos.
b. Cabezal: En las mquinas de Turing el cabezal tiene una particularidad,
este es de lectura y escritura, sea que este se mueve bidireccionalmente
leyendo y escribiendo en la cinta, el cabezal puede pasar varias veces por
el mismo segmento de cinta, modificando la cinta en el curso de ejecucin.
c. Control Finito: Este control est compuesto por un conjunto de reglas y de
producciones por la funcin de transicin, donde esta inmersos.
Adicionalmente se determinan una serie de estados que cambian el
comportamiento del autmata.
Una MT es un septuplo (K, , , , s) en donde:
K = es el conjunto de estados tal que h K ;

Pgina 2 de 2

= es el alfabeto de entrada, donde ;

= es el alfabeto de la cinta, donde y ;
s K es el estado inicial;
T K es el estado final;
B es el smbolo blanco (el smbolo B no puede hacer parte de ) aparece
en
Todas las casillas excepto en aquellas que contienen los smbolos de entrada.
: (K {h} x ) K x ( U { L,R } )

2. Disela en un Diagrama de Moore.

3. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

El diseo no corresponde a una mquina Universal de Turing MUT debido
a que est diseada para realizar un clculo especfico y no para procesar
cualquier informacin (realizar cualquier clculo especfico -MT particularsobre cualquier configuracin inicial de entrada correcta para esa MT
particular).