Este documento resume los conceptos fundamentales de la teoría de autómatas y lenguajes formales, incluyendo autómatas finitos deterministas y no deterministas, expresiones regulares, operaciones con lenguajes y análisis léxico. Los autómatas finitos son máquinas conceptuales que pueden procesar cadenas de símbolos y reconocer lenguajes. Un lenguaje está formado por palabras sobre un alfabeto y puede representarse mediante expresiones regulares o autómatas finitos. El análisis léxico es la primera

1. ESCUELA : PONENTE : BIMESTRE : TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES CICLO : CIENCIAS DE LA COMPUTACIÓN I BIMESTRE ING. JUAN CARLOS TORRES ABRIL 2007 – AGOSTO 2007

9. Autómata finito determinista 1 2 3 a b c

10. Diagrama y tabla de transiciones 1 2 3 a b c

11. Autómata finito no determinista 1 2 3 a a c

12. Equivalencia E-R autómata Ejemplo

13. Conversión AFND AFD Ejemplo

14. Expresión regular Representar lenguaje Abreviación L(L│D) +

15. Expresiones regulares Base (E) y 0  L(E)={E} L(0)= 0 a  a es una E R L(a)={a} L  cualquier lenguaje Paso inductivo +, ., *(clausura), ()

16. Operaciones con lenguajes Unión Concatenación Clausura

17. Precedencia de operadores * clausura . U