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)

yyxyxx

Trabajo Colaborativo No. 3

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

DE

NUESTRA

MAQUINA

DE

TURING

Trabajo Colaborativo No. 3

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