2. 1. Introducción

3. Construcción de compiladores Teoría de Lenguajes Formales y Autómatas Matemáticas

5. Análisis Lexicográfico Análisis Sintáctico Análisis Semántico Optimización Preparación para la generación de código Generación de código Fases del Compilador 1 1 Fases del Compilador según Karen A. Lemone Autómatas Finitos

6. 2. Autómatas Finitos - AF

7. 2.1 Ejemplo 1 de AF Estados Estado Inicial Estados finales Transiciones Acepta o rechaza palabras

8. ¿Acepta bcc ? 1)

9. ¿Acepta bcc ? Sí 1)

10. ¿Acepta ab ? 2)

11. ¿Acepta ab? Sí 2)

12. ¿Acepta bccc? 3)

13. ¿Acepta bccc? No 3)

14. ¿Acepta bca 5 c ? 4) Nota: bc a 5 c = bc aaaaa c

15. ¿Acepta bca 5 c? Sí 4) Nota: bc a 5 c = bc aaaaa c

16. ¿Acepta bd 4 ? 5)

17. ¿Acepta bd 4 ? Sí 5)

18. ¿Acepta abc ? 6)

19. ¿Acepta abc? No 6)

20. 2.2 Ejemplo 2 de AF

21. Acepta: 42.7

22. Acepta: .325

23. Acepta: 42.7 .325 3.14159 23.45 El autómata representa los números reales sin signo en notación normal

24. 3. Aplicaciones