UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Actividad No. 14.

TRABAJO COLABORATIVO No. 3

AUTOMATAS Y LENGUAJES FORMALES

Tutor:
JAIME JOSE VALDES
Grupo:
301405_76

PRESENTADO POR:
EDWIN ALBERTO PALMA LEON Cd. 86.054.717
palmeras28@hotmail.com
JOSE GABRIEL CARDENAS MOYA Cd. 93.296.319
ALEXADER SERRATO Cd.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

JUNIO 2013

Trabajo Colaborativo No. 3

Pgina 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

INTRODUCCION

El presente trabajo se realiza con el fin de conocer los conceptos y temas

fundamentales de los captulos de la unidad tres (Lenguajes Estructurados por
Frases) del curso, aplicando las bases asimiladas en la solucin de ejercicios
mediante el uso de simuladores, con la finalidad de profundizar en los temas
vistos y as evidenciar la enseanza que nos deja el mdulo.
Por todo lo anterior, y teniendo ms claro el panorama de la plataforma y el
modulo del curso, as como el haber revisado el contenido del mismo; se da la
posibilidad de presentar en este documento, el resultado de este tercer trabajo
colaborativo, mediante el desarrollo de ejercicios como: Grafos, Diseo de
Mquinas de Turng (MT) y uso de Simuladores; aspectos que reflejan la
claridad sobre las temticas, todo con el fin de aplicar los conceptos asimilados
durante la unidad tres.

Trabajo Colaborativo No. 3

Pgina 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

OBJETIVOS

Profundizar y asimilar los conceptos y temticas de cada captulo de la

tercera unidad del curso Autmatas y Lenguajes Formales, en especial
la aplicacin de las Mquinas de Turng (MT) y las Funciones
Recursivas.

Adquirir las habilidades necesarias para desarrollar, asimilar y

generalizar los conceptos de Lenguajes Estructurados por Frases,
mediante las Mquinas de Turng y las Funciones Recursivas.

Comprender el funcionamiento de la Mquina de Turng (MT) a travs de

la compilacin de informacin que incluye los inicios del dispositivo, la
descripcin de la prueba mquina persona, la definicin formal de una
MT, su representacin grfica y los lenguajes que reconoce.

Conocer las diferentes clases de Mquinas de Turng y sus principios de

funcionamiento.

Entender y analizar a travs de ejemplos el proceso de reconocimiento

de cadenas en una Mquina de Turng.

Trabajo Colaborativo No. 3

Pgina 3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

1. DADO EL ALFABETO = {X, Y} DE LA SIGUIENTE MQUINA DE

TURING, DETERMINE:

El lenguaje que acepta

L (M)= { : q0 * x q2 z, q2 T }

Recorra la mquina con al menos una cadena vlida.

La cadena (x,x,y)

Trabajo Colaborativo No. 3

Pgina 4

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Identifique una cadena que no sea vlida y justifquela porque.

Cadena no valida ( x,x), no es validad, porque en el recorrido no alcanza a

llegar al estado de aceptacin, queda por decirlo as, a medio camino,
quedando en q2

Trabajo Colaborativo No. 3

Pgina 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

La cadena no es vlida, porque el recorrido no alcanza el estado de

aceptacin, atraves del elemento Z.

Identifique los componentes de la Mquina de Turng (descrbala).

El MT, estudiado hace parte de un quntuplo, MT =( Q, , , , q 0, qf )

Q = es un conjunto de estados
= es el alfabeto de entrada donde
= es el alfabeto de la cinta doble y C
q0 = es el estado inicial
qf = es el estado aceptador
2. DISEE UNA MT QUE RECONOZCA {0n 1n : n 1 }
Se toma a n= 3
Se construye la maquina

Trabajo Colaborativo No. 3

Pgina 6

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Cadenas aceptadas

Cambie un 0 por una x (explique qu pasa con la mquina).

Tomando la cadena (01) y cambiamos el 0, por una x, la cadena es rechazada
por la mquina y no llega a su estado de aceptacin final. La cadena solo pase
del estado q0 al estado q1 , de ah no sigue su desplazamiento.

Trabajo Colaborativo No. 3

Pgina 7

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Cambie un 1 por una y (explique qu pasa con la mquina).

Tomando la cadena (01) y cambiamos el 1, por una y, la cadena es rechazada

por la mquina y no llega a su estado de aceptacin final. La cadena solo pase
del estado q0 al estado q1 , de ah no sigue su desplazamiento.

Trabajo Colaborativo No. 3

Pgina 8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Identifique en qu momento la mquina de Turng se detiene.

La mquina, la realizar estos cambios, se detiene en el estado q1

Calcule la funcin
(q0,0 ) = (q1, X, R)
(q1,0 ) = (q1, 0, R)
(q1,x ) = (q1, X, R)
(q1,1 ) = (q2, Y, L)
(q2,Y ) = (q2, Y, L)
(q2,0 ) = (q2, 0, L)
(q2,X ) = (q0, X, R)
(q0,Y ) = (q3, Y, R)
(q3,Y ) = (q3, Y, R)
(q3, ) = (q4, , R)

Grafquela e identifique sus elementos.

Identifique la funcin de transicin.

q0000111 Xq10111 X0q10111 X00q1111
X0q20Y11 Xq200Y11 q2X00Y11
Xq000Y11 XXq10Y11 XX0q1Y11
XX0Yq111 XX0q2YY1 XXq20YY1
Xq2X0YY1 XXq00Y11 XXXq1Y11
XXXYq1Y1 XXXYYq11 XXXYq2YY
XXXq2YYY XXq2XYYY XXXq0YYY

Trabajo Colaborativo No. 3

Pgina 9

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

XXXYq3YY XXXYYq3Y XXXYYYq3

XXXYYY q4

3. CONSTRUYA UNA MT QUE ACEPTE EL LENGUAJE (REPRESNTELA

Se cambia la a por una x movindose a la derecha. (Explique qu

pasa con la mquina). Represente los movimientos en la tabla de
transiciones para MT.
Tomando la cadena (a, x, R) y cambiamos la a por una x, (x, x, R) la
cadena no se desplaza, del estado donde arranca, que es el estado q0,
ya que no encuentra elementos para seguir su recorrido o
desplazamiento.

Trabajo Colaborativo No. 3

Pgina 10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Luego se mueve a la izquierda pasando por encima de las bs (bes)

(explique qu pasa con la mquina). Represente los movimientos
en la tabla de transiciones para MT.

Trabajo Colaborativo No. 3

Pgina 11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

En este caso, la mquina de turng, no alcanza el estado final, por lo cual al

realizar el cambio en la cadena, esta se detiene en el estado q1

Identifique en qu momento la mquina de Turng se detiene.

Al realizar estos cambios la maquina se detiene en el estado q1, no
alcanza el estado q5 , ya que este es el estado final o de aceptacin.

Trabajo Colaborativo No. 3

Pgina 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Calcule la funcin
(q0,a ) = (q1, X, R)
(q1a ) = (q1, a, R)
(q1,y ) = (q1, y, R)
(q1,b ) = (q2, Y, R)
(q2,z ) = (q2, z, R)
(q2,b ) = (q2, b, R)
(q2,c ) = (q3, z, L)
(q3,y ) = (q3, Y, L)
(q3,z ) = (q3, z, L)
(q3,b ) = (q3, b, L)
(q3,a ) = (q3, a, L)
(q3,x ) = (q0, x, R)
(q0,Y ) = (q4, Y, R)
(q4,z ) = (q4, z, R)
(q0, ) = (q5, , R)
(q4,Y ) = (q4, Y, R)
(q4, ) = (q5, , R)

Grafquela e identifique sus elementos.

4. CONSTRUIR UNA MT QUE RECONOZCA

L = 01* + 10 *

Trabajo Colaborativo No. 3

Pgina 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Q = { q0 , q1 } x {0,1,B}
Estado inicial [q0 , B]
Estado final [q1 , B]
CONSTRUCCION DE LA MAQUINA DE TURING

IDENTIFIQUE UNA CADENA VLIDA.

RECORRIDO DE LA CADENA VALIDA PAS A PASO

Trabajo Colaborativo No. 3

Pgina 14

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 3

Pgina 15

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

5. PARA LA SIGUIENTE MQUINA DE TURING (MT):

Identifique que pasa cuando inicia con la cadena

(demustrelo
con el recorrido de la misma)

Trabajo Colaborativo No. 3

yyxyxx

Pgina 16

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 3

Pgina 17

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Trabajo Colaborativo No. 3

Pgina 18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

Plsmela en el simulador (debe entregar el archivo generado por el

simulador), Las imgenes capturadas van inmersas en el desarrollo
del trabajo

Con base en esa MT, preponga una nueva mquina que se

comporte diferente cuando inicia con la cadena yyxyxx
Utilizando la misma mquina de turng, cambiamos los elementos de
entrada de algunas cadenas, dejando las misma mismas secuencias de
las salidas de la cinta, implementamos las siguientes transacciones, ya
que la secuencia, se ira por unos estados diferente, pero alcanzando el
estado de aceptacin o final. Pero al final la cadena aceptada, ser la
misma del ejercicio anterior.

Trabajo Colaborativo No. 3

Pgina 19

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

6. CONSIDERE LA MQUINA DE TURING DE LA FIGURA CON EL

ALFABETO {X, Y, Z} E INDIQUE QUE TIPO DE CADENAS DECIDE EL
LENGUAJE QUE ACEPTA.

Para que nuestra maquina acepte cadenas, hay que eliminar o cambiar un
elemento de entrada del estado q2, cuando se dirige a el estado q3, cambiamos
un elemento vaco de entrada por un elemento z, as nuestra maquina podr
aceptar cadenas, que lleguen a en estado de aceptacin o final.
NUEVA MAQUINA GENERADA

CADENAS ACEPTADAS
MODIFICADA

Trabajo Colaborativo No. 3

DE

NUESTRA

MAQUINA

DE

TURING

Pgina 20

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

CONCLUSIONES

Despus de realizar el siguiente trabajo podemos concluir lo siguiente:

El cerebro humano casi se aproxima al ideal de una maquina universal de

Turng.
La falta rapidez y buena calidad; si la computadora con sus programas tambin
compite por serlo, es sin duda porque los programas hasta ahora han sido
programados por seres humanos. A este respecto, cabe afirmar que se est
logrando terminar los proyectos de un programa por el cual la computadora
puede generar su propio programa a partir de datos reales de entrada y salida
de otras mquinas, ya sean reales o virtuales. Pero esa autonoma es
restringida dado que el originador de dicho programa, como as tambin de casi
todas las maquinas reales y virtuales conocidas, es el cerebro humano.

Trabajo Colaborativo No. 3

Pgina 21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

Autmatas y Lenguajes Formales

REFERENCIAS BIBLIOGRFICAS

DEL MODULO

Mdulo de autmatas y lenguajes formales, QUIROGA ROJAS, EDGAR,

BOGOTA DC, COLOMBIA, 2008.

Web grafas

http://www.rastersoft.com/articulo/turing.html

Trabajo Colaborativo No. 3

Pgina 22