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

2. Autómatas Máquina conceptual  capacidad procesar  cadenas (texto)

3. Autómatas Aplicaciones Reconocedores de lenguaje Comparación de cadenas Ejemplos (word  diccionario, buscar, reemplazar)

4. Alfabetos Conjunto de símbolos A={a,b,c,d, ….z}

5. Palabras Concatenación de símbolos pertenecientes a un alfabeto A={a,b,c,d, ….z} casa

6. Lenguaje Conjunto de palabras formadas sobre un alfabeto L={alfabeto castellano} Restricciones (ciertas palabras)

7. Autómata finito Estados + transiciones Reconocer construcción (palabra) Finito 1 2 3

8. Autómata finito 5 tupla ( Q, Símbolos de entrada, Transición, Estado inicial, {} estados finales )

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

18. Análisis léxico Lenguajes de programación Análisis léxico Análisis sintáctico Análisis semántico

19. Análisis léxico Apertura del archivo Lectura de sus caracteres (símbolos) Concatenación Comparación de cadenas Retorno del token

20. Especificación componentes léxicos Diseño de lenguaje de programación Palabras reservadas Identificadores Ejemplo: L(L│D)+