Unidad 3 A. Introduccin a los autmatas finitos y expresiones regulares 1.

Las matemticas proporcionan lenguajes para especificar algoritmos Algoritmo: secuencia de operaciones que aplicada correctamente a un problema genera la solucin en un tiempo finito. Para definir matemticamente un algoritmo existen diferentes formas una de ellas es la teora de autmatas Teora de autmatas: proporciona un lenguaje para la especificacin de un algoritmo Autmata: maquina formal que acepta una informacin de entrada, la procesa y genera un resultado salida, por lo tanto definir un autmata es definir la conformacin de la entrada en una salida o Tipos de autmatas: existen diferentes tipos, cada uno de los cuales est asociada a una capacidad de resolucin de problemas por lo tanto cada tipo de problema es asociada a un tipo de autmata que lo resuelve atendiendo a esta capacidad se ordena de manera jerrquica 1. Por el tipo de proceso que ejecuta Autmata reconocedor o aceptador: resuelve los problemas con respuesta si o no que se modela como la identificacin de dos estados finales, uno de aceptacin y otro de rechazo Autmata traductor o generador: construyen una respuesta especfica para el problema planteado

2. Por el tipo de causalidad Autmata determinista: la solucin del problema viene unvocamente determinada por las entradas o estados internos del autmata Autmata no determinista: la respuesta no est unvocamente determinada

2. Autmata finitos: Modelo matemtico de un sistema que recibe una cadena formada por smbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autmata reconoce

 Problema: dado un lenguaje L definido sobre un alfabeto A y una cadena X al arbitraria en determinar si X pertenece a L X no pertenece a L

Si (reconoce a x) Cadena X A.F No (reconoce a x)

Aplicacin: Se utiliza en el anlisis de cadenas de caracteres o El autmata se construye utilizando un diagrama que contiene la informacin necesaria para analizar la cadena el cual tendr la forma de un grafo dirigido Procedimiento: 1. La cadena se lee de izquierda a derecha 2. Para indicar que la cadena es aceptada se establece un estado de aceptacin 3. Para indicar que la cadena no pertenece al lenguaje se establecen estados de no aceptacin 4. Los estados se representan por medio de nodos en el grafo los cuales son etiquetados 5. Se define Q=[q1,q2,q3..qn] como el conjunto finito de todos los estados posibles o Q1 ser el estado inicial y f es un subconjunto de q, y f contenido en q ser el conjunto finito de todos los estados finales o de aceptacin

6. Se tomara la cadena que ser analizada como nuestro alfabeto de entrada y se denotara por

7. Cada arista se etiqueta con un smbolo de que indica una transicin de algn estado a otro en el sentido marcado por la flecha en alguno de los extremos de cada arista 8. Cuando se analiza un carcter es posible permanecer en el mismo estado despus de la transicin 9. Los estados de aceptacin se identifican encerrndolos en un circulo