AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLBORATIVO 3

ANGELO RENGIFO RAMIREZ 16897289

Grupo 301405_38

TUTOR
ANGELA MARIA GONZALEZ

UNIVERSIDAD NACIONAL ABIERT Y A DISTANCIA

CEAD PALMIRA

INTRODUCCION

considerar las mquinas abstractas que permiten solucionar ciertos tipos de

algoritmos, los algoritmos en los que no puede recordarse ms que una cantidad
fija de informacin y otros en los que la informacin desarrollada durante la
ejecucin del algoritmo puede recuperarse solo en concordancia con la regla lifo
ltimos en entrar primeros en salir, en esta unidad se describe una maquina
abstracta, llamada Mquina de Turing , que es aceptada de manera amplia como
modelo general de computacin, aunque las operaciones bsicas de esta mquina
son comparables en su sencillez a las de las mquinas estudiadas en las unidades
anteriores, las nuevas mquinas pueden realizar una amplia variedad de
operaciones de cmputo

DESARROLLO DE LA ACTIVIDAD
Disee Una MT que se comporte como transductor que reconozca el lenguaje
L ={a}* (incluye la cadena ). La transduccin (salida) debe ser que por cada
smbolo que entre, se duplique: Ejemplo: para la cadena (aa) la salida ser (aaaa).
El alfabeto de la cinta debe ser diferente al alfabeto de entrada.
Identifique los componentes de la Mquina de Turing (descrbala).
El lenguaje que acepta la maquina es el conjunto de palabras que lleva desde el
estado inicial hasta el estado final.

L= (a)*

a*n y: n> 1

Recorra la maquina con almenos una cadena valida

Se lee la primer a y se avanza a la derecha se cambia el estado q1, se lee el
segundo carcter a se avanza en el cabezal y se continua en el estado q1
Se lee el tercer carcter a continuando en el estado q1.
Se lee el ultimo carcterx y se escribe el carcter z en la cinta, el cabezal
permanece en el mismo sitio y se cambia al estado q2 que es el estado final.
IDENTIFIQUE UNA CADENA QUE NO SEA VALIDA Y JUSTIFIQUE EL POR
QUE:
1) IDENTIFIQUE LOS COMPONENTES DE LA MAQUINA TURING
(DESCRIBALA)
La MT est representada por el quntuplo (k,,r,,q0) donde:
K = (q0, q1, q2) conjunto de estados tal que q2 es el estado halt.
= (a,x) alfabeto entrada
R= (, x,a,z) alfabeto de la cinta
= k-(q2)x r)
Estado Final
F={ q 5 }

K x (r u(l,r)

Una funcin de transicin

=( Q 0,Q 1, Q2, Q3, Q 4, Q5 )( Q 5 ) X ( ,B)
(Q0, Q1, Q2, Q3, Q4, Q5) X ( , B U (L , R)

La mquina de Turing se comporta como transductor, cuando se lee

primero el smbolo a que se encuentre ms a la derecha de la cinta de
entrada y se cambia por el smbolo b .

Cuando se encuentra el espacio al lado izquierdo de la cadena de entrada,

este imprime el smbolo b y mueve el cabezal una vez a la derecha.
si encuentra un espacio en blanco pasa al estado halt y se finaliza la
transduccin.

entrada
0
a
aa
aaa

salida
Aba
Abb
abaab

2) disee un diagrama moore

3) Recorra la mquina con al menos una cadena vlida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.

4) Identifique una cadena que no sea vlida y justifquela porque.

( recorriendo cinta ydatos de entrada).
Todas las cadenas en nmero binario son aceptadas (01) solo es rechazada si
incluimos un numero diferente a estos.
La cadena xaax no es vlida por que empieza por x, y en la MT no existen
transiciones que nos lleven al estado inicial con el carcter x
5) Ejecute el RunTest a una cadena de entrada aceptada que tenga la menos
cinco smbolos
La funcin

se define as:

( q0 , a )= ( q0 , a , D )

( q3 , b )=( q3 , b , D )

( q0 , B ) =( q 1 , B , I )

( q3 , a )=( q2 , b , I )

( q1 , a )=( q2 , b , I )

( q3 , B ) =( q 4 , B , I )

( q2 , a )=( q2 , a , I )

( q4 , b ) =( q 4 , b , I )

 ( q2 ,b )=( q2 , b , I )

( q4 , B )=( q5 , B , D )

( q2 , B ) = ( q 3 , b , D )

Ejecute el run test a la cadena aceptada

Identifique en que momento la mquina se detiene

La mquina se detiene en el momento de que no encuentre ms 0 o 1, Sea cual sea
la configuracin inicial de la cinta de 0 o 1.