En este documento se encuentran los apuntes recopilados durante todo el semestre, recopilan conceptos, ejemplos y varios ejercicios acerca

de la materia que ayudan a comprenden mejor la materia Lenguajes Formales y Autmatas. El objetivo de Turing era describir de forma precisa los lmites entre lo que una mquina de clculo poda y no poda hacer; estas conclusiones no slo se aplican a las mquinas abstractas de Turing, sino a todas las mquinas reales actuales. Son varias las razones por las que el estudio de los autmatas y de la complejidad de clculo constituye una parte importante del ncleo de la Ciencias de la Computacin.

La jerarqua de Chomsky no solo aporta un ordenamiento conjuntual de los lenguajes, sino que proporciona un mecanismo de clasificacin basado en caractersticas relacionadas con las formas gramaticales mnimas de cada lenguaje en particular as como decide qu tipo de reconocedores mnimos serviran para determinar las cadenas vlidas.

GRAMATICAS

La clase Gramtica se utilizar para representar cualquier gramtica. As, necesitaremos disponer de las variables de instancia y mtodos necesarios para manipularlas de acuerdo con la definicin anterior.
AUTOMATAS FINITOS DETERMINISTAS Los Autmatas Finitos son mquinas tericas que van cambiando de estado dependiendo de la entrada que reciban. La salida de estos Autmatas est limitada a dos valores: aceptado y no aceptado, que pueden indicar si la cadena que se ha recibido como entrada es o no valida.

Generalmente utilizaremos los Autmatas Finitos para reconocer lenguajes regulares, es decir, una palabra se considerara valida solo si pertenece a un determinado lenguaje. Diagrama Existen dos formas de representar un AFD, mediante tablas de transicin o mediante diagramas de transicin.

DIAGRAMA DE TRANSICION la siguiente figura representa de forma grfica las transiciones del autmata. Los estados finales de aceptacin se identifican por estar encerrados en un doble crculo. El estado inicial se destaca con una flecha en este particular caso distorsionada Al analizar el autmata del ejemplo es evidente que solo considera como cadenas aceptadas aquellas que estn formadas solamente por as. Cualquier cadena que contenga una b har que el autmata acabe en el estado r que es un estado muerto. iremos que un estado esta muerto si no es un estado final de aceptacin y no parte de el ninguna transicin hacia otro estado. Es evidente que si durante el anlisis de una cadena se llega a un estado muerto, como ya no es posible salir de dicho estado, la cadena no ser aceptada por el autmata. MINIMIZAR En ocasiones nos encontramos con autmatas que tienen algunos estados equivalentes, en estos casos esos estados se pueden agrupar de manera que se consigue un autmata, equivalente al primero, pero con un menor nmero de estados. Se dice que el autmata ha sido minimizado. Un concepto diferente al de minimizar un autmata es el de simplificar un autmata que consiste en eliminar estados muertos o inaccesibles. **AFND** En los autmatas deterministas sabemos exactamente cual es la transicin que debemos llevar a cabo ante una determinada situacin. Sin embargo, en los no de- terministas podemos encontrarnos con varias opciones e, incluso, con - transiciones
AFND: Puede tener Ambigedad Tiene transiciones psilon Puede tener varios estados iniciales

Lambda

8. Automata push down Un autmata de pila o Push-Down es un autmata que cuenta con un mecanismo que permita almacenamiento ilimitado y opera como una pila. El autmata de pila (se abrevia PDA de sus siglas en ingls Push-Down Autmata) tiene una cinta de entrada, un control finito y una pila. La pila es una cadena de smbolos de algn alfabeto. El smbolo que se encuentra ms a la izquierda se considera como que est en la cima. El dispositivo ser

no determinstico y tendr un nmero finito de alternativas de movimiento en cada situacin como se muestra en la siguiente figura un autmata de pila.

Los movimientos sern de dos tipos. En el primer tipo de movimiento se utiliza un smbolo de entrada. Dependiendo del smbolo de entrada, del smbolo de la cima y el estado de control finito, es posible un nmero de alternativas. Cada alternativa consiste en un estado posterior para el control finito y una cadena (posiblemente vaca) de smbolos, para sustituir al smbolo que se encuentra en la cima de la pila. Despus de seleccionar una alternativa, la cabeza de entrada avanza un smbolo como se ilustra en la siguiente figura:

La figura anterior muestra el avance de un smbolo de entrada (q1, c, B), a un estado posterior y sustitucin de la cima de la pila {(q2, B)}. El segundo tipo de movimiento conocido como movimiento es parecido al primero excepto que el smbolo de entrada no se utiliza y la cabeza de la entrada no avanza despus del movimiento. Este tipo de movimiento permite al PDA manipular la pila sin leer smbolos de entrada como se muestra en la figura: Manipulacin de la pila sin leer smbolo de entrada. Existen dos modos de aceptar un lenguaje por un autmata de apilamiento. El primero consiste en definir el lenguaje

aceptado como el conjunto de todas las entradas para las cuales una sucesin de movimientos ocasiona que el autmata de pila vace su pila. La segunda manera es designando algunos estados como estados finales y definimos el lenguaje aceptado como el conjunto de todas las entradas para las cuales alguna seleccin de movimiento ocasiona que el autmata de pila accede un estado final.