EBNF Online Validator

La herramienta analiza el texto de gramática EBNF para asegurar la corrección sintáctica y la solidez estructural. Tokeniza las construcciones gramaticales, identifica no terminales y terminales, y construye una representación interna que soporta verificaciones adicionales. Al separar definiciones de producciones y referencias, ayuda a los usuarios a detectar símbolos no definidos y dependencias circulares temprano.
Las capacidades principales incluyen validación de sintaxis, detección de símbolos no definidos, duplicación de producciones y avisos de recursión a la izquierda. Soporta formas EBNF comunes como grupo (), opcional [], repetición {} y alternancia |, y puede señalar problemas potenciales como terminadores ausentes o corchetes desparejados. Un modo avanzado puede reportar ambigüedades potenciales y generar un esquema de parse simplificado.
Dirigido a autores de gramáticas, integradores de herramientas y docentes, al proporcionar detalles de error accionables y un conjunto de resultados legibles por máquina. La herramienta no ejecuta gramáticas ni genera código; valida estrictamente sintaxis y estructura para mejorar la fiabilidad de parsers y documentación.