EBNF Online Validator

L’outil analyse le texte de grammaire EBNF pour assurer la correction syntaxique et la solidité structurelle. Il décompose les constructions de grammaire, identifie les non-terminaux et terminaux, et construit une représentation interne qui prend en charge des contrôles supplémentaires. En séparant les définitions de productions et les références, il aide à repérer les symboles non définis et les dépendances circulaires tôt.
Les capacités clés incluent la validation syntaxique, la détection de symboles non définis, les productions en double et les avertissements de récursion gauche. Il prend en charge les formes EBNF courantes telles que les groupes (), les optionnels [], les répétitions {} et l’alternance |, et peut signaler des problèmes potentiels comme des terminators manquants ou des crochets mal appariés. Un mode avancé peut signaler d’éventuelles ambiguïtés et générer un aperçu de parse simplifié.
Destiné à aider les auteurs de grammaires, les intégrateurs d’outils et les éducateurs en fournissant des détails d’erreur exploitables et un ensemble de résultats lisibles par machine. L’outil n’exécute pas les grammaires ni ne génère de code ; il valide strictement la syntaxe et la structure pour améliorer la fiabilité des parseurs et de la documentation.