BNFParser2: Universal Syntax Verification Utility
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00027972" target="_blank" >RIV/00216224:14330/07:00027972 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
BNFParser2: Universal Syntax Verification Utility
Original language description
The BNF Parser2 (bnfparser2) is a universal syntax verification utility for any syntax specification writen in any Backus-Naur Form (BNF) dialect. It is based on a dynamic parser that is generated at run-time (without recompilation) depending on given syntax specification in BNF. The parser then verifies that input messages conform to this specification. The Backus-Naur Form (BNF) is a metasyntax widely used as a notation for the grammars of computer programming languages, instruction sets and communication protocols. There are many variants and extensions of BNF.
Czech name
BNFParser2: Univerzální nástroj pro verifikaci syntaxe
Czech description
BNF Parser2 (bnfparser2) je univerzální program pro kontrolu syntaktické správnosti pracující na základě gramatiky zapsané v nějaké z mutací Backus-Naur Formy (BNF). Základ program tvoří dynamický parser, který zpracovává vstup podle zadané gramatiky přímo za běhu (bez nutnosti kompilace po zadání gramatiky). BNF Parser2 tedy ověřuje, zda vstup odpovídá specifikaci zadané BNF gramatikou. Backus-Naur Forma (BNF) je metasyntaktický formalizmus se široce používaný pro zápis gramatik při specifikaci programovacích jazyků, instrukčních sad i komunikačních protokolů. Běžně se užívá větší množství variant/mutací/rozšíření BNF.
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
BNFParser2
Technical parameters
BNF Parser2 (bnfparser2) je univerzální program pro kontrolu syntaktické správnosti pracující na základě gramatiky zapsané v nějaké z mutací Backus-Naur Formy (BNF).
Economical parameters
—
Owner IČO
00216224
Owner name
Masarykova univerzita