EBNF Online Validator

A ferramenta analisa o texto da gramática EBNF para garantir correção sintática e robustez estrutural. Tokeniza construções gramaticais, identifica não-terminais e terminais e constrói uma representação interna que suporta verificações adicionais. Ao separar definições de produção e referências, ajuda usuários a detectar símbolos não definidos e dependências circulares precocemente.
As capacidades centrais incluem validação de sintaxe, detecção de símbolos não definidos, produções duplicadas e avisos sobre recursão à esquerda. Suporta formas EBNF comuns como grupo (), opcionais [], repetição {} e alternância |, e pode sinalizar problemas potenciais como terminadores ausentes ou parênteses mal pareados. Um modo avançado pode reportar ambiguidades potenciais e gerar um esboço de parse simplificado.
Destinado a apoiar autores de gramáticas, integradores de ferramentas e educadores, fornecendo detalhes de erro acionáveis e um conjunto de resultados legíveis por máquina. A ferramenta não executa gramáticas nem gera código; valida estritamente sintaxe e estrutura para melhorar a confiabilidade de parsers e documentação.