AUTOMATAS Y LENGUAJES FORMALES TRABAJO COLABORATIVO 3

JAIRO CESAR NUEZ COD .74337323 jacenuvi@gmail.com CEAD SOGAMOSO

CARLOS ALBERTO AMAYA TARAZONA TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA INGENIERIA DE SISTEMAS SOGAMOSO 2013

INTRODUCCIN La mquina de Turing son modelos matemticos capaces de ejecutar un problema por medio de un algoritmo, este autmata reconoce los lenguajes estructurados por frases que se describen mediante reglas de sobre escritura, donde para los alfabetos existe este tipo de lenguaje su estructura es realizada por frases mediante cadenas que son analizadas por medio de una jerarqua. En el presente trabajo realizaremos un desarrollo aplicado de los temas vistos en la unidad No.3 del mdulo de autmatas y lenguajes formales, vemos funcionamiento, caractersticas, codificacin de la mquina de Turing y la importancia de los lenguajes estructurados por frases. Mquina de Turing Una mquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan de nmeros en cdigo binario (ceros y unos). En su versin original la mquina de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un bit (0 1) est en su interior. La mquina tiene una serie de estados internos finitos que tambin se pueden numerar en binario. Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A continuacin, se pone en marcha y la mquina lee el bit que se encuentra en ese momento en su interior y ejecuta alguna operacin con ese bit (lo cambia o no, dependiendo de su estado interno). Despus se mueve hacia la derecha o hacia la izquierda, y vuelve a procesar el siguiente bit de la misma manera. Al final se para, dejando el resultado al lado izquierdo. A pesar de su simplicidad, una mquina de Turing puede ser adaptada para simular la lgica de cualquier algoritmo de computador y es particularmente til en la explicacin de las funciones de un CPU dentro de un computador. Es un modelo computacional creado por Alan Turing con el cual l afirmaba que se poda realizar cualquier cmputo. La mquina de Turing, como modelo matemtico, consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor.

OBJETIVO GENERAL Conocer el funcionamiento y la aplicacin de las mquinas de Turing aplicada al lenguaje estructurado por frases. Reconocer la importancia y el poder computacional de las Mquinas de Turing en el contexto de la solucin de problemas computacionales de reconocimiento de Lenguajes.

OBJETIVOS ESPECFICOS: Conocer las principales caractersticas de las mquinas de Turing. Identificar las propiedades y los lenguajes de las mquinas de Turing. Estudiar las Mquinas de Turing y sus propiedades bsicas Afianzar los conocimientos en la temtica a tratar. Aprender a manejar el comportamiento de un ejercicio sobre una mquina de Turing, su recorrido, etc.

EJERCICIO 1: Disee una MT que reconozca el lenguaje de cadenas Mquina que acepta el lenguaje de palabras sobre {0,1} que comienzan y acaban con el mismo smbolo

1. Identifique los componentes de la Mquina de Turing (descrbala). Una mquina de Turing con una sola cinta puede ser definida como una 7-tupla, , donde es un conjunto finito de estados. es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina. es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta. es el estado inicial. es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces. es el conjunto de estados finales de aceptacin. { } es una funcin parcial denominada funcin de transicin, donde L es un movimiento a la izquierda y R es el movimiento a la derecha. 2. Disela en un Diagrama de Moore

3. Recorra la mquina con al menos una cadena vlida.

4. Identifique una cadena que no sea vlida y justifquela porque. 5. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen para el trabajo)

6. Identifique en que momento la mquina se detiene

EJERCICIO 2. Tomando como referencia la aplicabilidad de las mquinas de estados, la Teora de la Informacin trata una de las tcnicas de deteccin y correccin de errores, por los teoremas de Trellis y Viterbi con cdigos convolucionales para canales con ruido.

Dado el siguiente dato de entrada. 1 0 1 0 0 1 1 0

1. Determine los estados presentes: (represente la mquina de estados) del cdigo convolucional para k=1, m= 3, n=2 para cada estado

2. Determine las entradas codificadas: 3. Realice el diagraman de rbol

4. Realice el diagrama general de estados

5. Realice el diagrama de trellis con la ruta correcta.

6. Asuma que hubo error en los bits 4,6 y 8 con distancia de Hamming 1. 7. Realice el diagrama de Treslis y Viterbi corrigiendo el dato (ruta correcta). Pare ello debe mostrar la ruta correcta identificando las distancias de haming y la seleccin dada para seguir la ruta.

CONCLUSIONES

Existen diversas clasificaciones de las Mquinas de Turing, atendiendo a los estados reconocidos, tipo de cinta, cantidad o divisin de dichas cintas: MT con directiva de permanecer, MT con cinta infinita en una direccin, MT en dos direcciones, MT multicinta, MT Multidimensional, MT No determinista. Las MT, de acuerdo a la clasificacin de los lenguajes formales de Chomsky, acepta los lenguajes tipo cero (0), llamados lenguajes recursivamente enumerables. La creacin modular de una maquina de Turing permite desarrollar mquinas complejas a partir de bloques elementales, mediante diagramas de transiciones. La construccin de mquinas de Turing se lleva a cabo mediante dichos diagramas de transicin, y sus combinaciones. Las MT han sido aplicadas en el desarrollo de la teora computacional y en las llamadas mquinas orculo, generadores de funciones, calculadoras de funciones, y generadores de lenguaje.