Convertidor NFA a DFA

Esta herramienta convierte un autómata finito no determinista (NFA) en un autómata finito determinista (DFA) equivalente usando el algoritmo de construcción por subconjuntos. Acepta una especificación formal de NFA y genera un DFA que reconoce el mismo lenguaje, permitiendo verificación y documentación del comportamiento de los autómatas.
Conceptualmente, el convertidor trata cada estado de DFA como un conjunto de estados de NFA. Para cada símbolo de entrada, calcula la unión de las transiciones de todos los estados de NFA en el conjunto actual, aplicando cierres epsilon primero cuando existan transiciones epsilon. Las transiciones DFA resultantes forman una tabla completa frente al alfabeto dado.
Quién se beneficia: estudiantes de CS, instructores, ingenieros de verificación e investigadores que construyen analizadores léxicos o parsers. Casos de uso: demostrar equivalencia de lenguaje, explorar recuentos mínimos de estados y documentar el diseño de parsers y scanners.
Funciones centrales: entradas requeridas (alfabeto, estados, estado inicial, estados de aceptación y transiciones) y salidas (inicio DFA, aceptaciones y tabla de transiciones); características opcionales: manejo de epsilon-closure y minimización de DFA, además de exportaciones JSON o CSV. La herramienta distingue entre datos obligatorios y opciones avanzadas y detecta inconsistencias estructurales.