Conversor NFA para DFA

Esta ferramenta converte um autômato finito não determinístico (NFA) em um autômato finito determinístico (DFA) equivalente usando o algoritmo de construção por subconjuntos. Aceita uma especificação formal de NFA e produz um DFA que reconhece a mesma linguagem, permitindo verificação e documentação do comportamento dos autômatos.
Conceitualmente, o conversor trata cada estado do DFA como um conjunto de estados de NFA. Para cada símbolo de entrada, ele calcula a união das transições de todos os estados de NFA no conjunto atual, aplicando closures epsilon primeiro quando existirem transições epsilon. As transições DFA resultantes formam uma tabela completa em relação ao alfabeto dado.
Quem se beneficia: estudantes de CS, docentes, engenheiros de verificação e pesquisadores que constroem analisadores léxicos ou parsers. Casos de uso: provar a equivalência de linguagem, explorar números mínimos de estados e documentar o design de parsers e scanners.
Principais recursos: entradas obrigatórias (alfabeto, estados, estado inicial, estados de aceitação e transições) e saídas (início DFA, aceitação e tabela de transições); opções avançadas incluem tratamento de epsilon-closure e minimização de DFA, além de exportação em JSON ou CSV. A ferramenta diferencia dados obrigatórios e opções avançadas e relata inconsistências estruturais.