EBNF Online Validator

Værktøjet analyserer EBNF-grammatiktekst for at sikre syntaktisk korrekthed og strukturel sundhed. Det tokeniserer grammatikkonstruktioner, identificerer ikke-terminaler og terminaler og bygger en intern repræsentation, der understøtter yderligere kontroller. Ved at adskille produktionsdefinitioner og referencer hjælper det brugere med hurtigt at finde udefinerede symboler og cirkulære afhængigheder.
Kernefunktioner inkluderer syntaksvalidering, påvisning af udefinerede symboler, duplikerede produktioner og advarsler om venstre-rekursion. Det understøtter almindelige EBNF-former som gruppe (), optionelle [] og gentagelser {}, samt alternation | og kan markere potentielle problemer som manglende terminatorer eller fejlagtigt afstemte parenteser. En avanceret tilstand kan rapportere potentielle tvetydigheder og generere et forenklet parse-oversigt.
Hensigten er at hjælpe grammatikudviklere, værktøjsintegratorer og undervisere ved at levere handlingsorienterede fejldetaljer og en maskinlæsbar resultatmængde. Værktøjet udfører ikke grammatikanvendelser eller genererer kørsels-tids parsere; det validerer udelukkende syntaks og struktur for at forbedre pålideligheden af downstream parsere og dokumentation.