Analizador Léxico

Explora y construye autómatas finitos

Herramientas interactivas para el análisis léxico: construcción de autómatas finitos, conversión entre expresiones regulares y autómatas, y reconocimiento de cadenas.

Construir ER de AF

Convertir un Autómata Finito (AF) en una Expresión Regular (ER) usando el Lemma de Arden

Comenzar

Construir AFD full

Construir AFD completo mediante el método de subconjuntos con todas las transiciones

Comenzar

Construir AFD short

Construir AFD óptimo directamente desde ER usando árbol sintáctico y algoritmo directo

Comenzar

Reconocer cadena

Validar si una cadena pertenece al lenguaje definido mostrando transiciones paso a paso

Comenzar

Sobre el Analizador Léxico

El análisis léxico es la primera fase de un compilador. Su función principal es leer el código fuente carácter por carácter y agruparlo en tokens (unidades léxicas con significado).

Los autómatas finitos son la base teórica del análisis léxico. Un autómata finito determinista (AFD) puede reconocer patrones definidos por expresiones regulares de manera eficiente.

Esta sección te permite experimentar con diferentes algoritmos y técnicas de construcción de autómatas: Thompson para AFN, subconjuntos para AFD, y métodos directos con árbol sintáctico.