bnfparser² | scstudio | contact us
Universal syntax verification utility.

Basic Overview

The BNF Parser² (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.

The BNF Parser² is also available online as The BNF Verification Service.


The software is freely available under LGPL via SourceForge.

The BNF Parser² was created as a joint project of ANF DATA spol. s r.o. and the research center Institute for Theoretical Computer Science (ITI), Faculty of Informatics, Masaryk University.