www.icosaedro.it

BNF Syntax Checker

Last update: 2018-07-08

bnf_chk validator and formatter for the EBNF (Extended Backus-Naur Form) syntax. bnf_chk is available for on-line tests and can be downloaded as source code.

Index

Features
EBNF Syntax
Try BNF_CHK on-line
Updates log
Download

Features

The program presented here lets you check the formal validity of a set of EBNF declarations. Given a text file containing the EBNF declarations, the program bnf_chk can:

reports EBNF syntax errors
reports undeclared identifiers
reports identifiers declared twice
reports identifiers declared but not used
prints to standard output an HTML version of the declarations.

The program parses a common EBNF syntax like this, describing integer and floating point numbers:

digit = "0".."9";
integer = ["+"|"-"] digit {digit};
real = integer "." digit {digit} [ "E" integer ];

These rules say that a digit is any character between 0 and 9, an integer number is a sequence of one or more digits with possibly a leading sign, and a real number is just like an integer with a fractional part and possibly a scale factor. These declarations can be reformatted with the command

$ bnf_chk --print-html --print-index numbers.txt

giving as output the HTML version that follows:

1. digit = "0".."9" ;
2. integer = [ "+" | "-" ] digit₁ { digit₁ } ;
3. real = integer₂ "." digit₁ { digit₁ } [ "E" integer₂ ] ;

The program is released as freeware.

EBNF Syntax

A file that BNF_CHK can parse must be a sequence of zero or more rules. The special character "#" starts a comment and all the characters up to the end of the line are ignored.

Rules. Every rule begins with its rule identifier, followed by an equal sign =, followed by an expression and terminated by semicolon:

identifier = expression ;

Rule identifiers. Any sequence of letters, digits and underscore starting with a letter or an underscore is a rule identifier (non-terminal symbol).

Expressions. An expression is one or more terms separated by a vertical bar:

term1 | term2 | term3

Terms. A term is a product of factors. Factors can be simply written in the order, no "product" symbol is required. Spaces are allowed to separate contiguous identifiers.

Factors. A factor can be:

a rule name some_rule
a literal string enclosed between double-quotes "some text"
a range of characters "A".."Z"
an optional expression enclosed between square parentheses [expression]
an expression that can match zero or more times enclosed between curly braces {expression}
an expression enclosed between round parentheses just to alter the order of precedence between factors and terms (a|b|c).

Literal words of the language must be enclosed within double quotes. Only ASCII printable characters are allowed. The character double quote itself can be expressed through the special sequence \" (backslash, double quote) and the character backslash can be expressed as \\ (backslash, backslash). Commonly used escaped sequences "\a\b\n\r\t" are also allowed. Any other byte can be expressed in hexadecimal form as \xHH where HH are two hexadecimal digits.

The figure below illustrates some features of the EBNF syntax through syntax diagrams: the square boxes are the rules, while the arrows indicate the allowed paths between rules.

Algebraic syntax and syntax diagrams compared.

The EBNF syntax allowed by the program can be expressed in terms of the EBNF syntax itself as follows:

1. bnf_file = { rule₂ } ;
2. rule = identifier₃ "=" expression₆ ";" ;
3. identifier = ( letter₄ | "_" ) { letter₄ | digit₅ | "_" } ;
4. letter = "a".."z" | "A".."Z" ;
5. digit = "0".."9" ;
6. expression = term₇ { "|" term₇ } ;
7. term = factor₈ { factor₈ } ;
8. factor = identifier₃ | literal₉ | range₁₀ | "(" expression₆ ")" | "{" expression₆ "}" | "[" expression₆ "]" ;
9. literal = "\"" { char₁₁ } "\"" ;
10. range = "\"" char₁₁ "\"" ".." "\"" char₁₁ "\"" ;
11. char = plain_char₁₂ | escaped_char₁₃ | hex_char₁₄ ;
12. plain_char = "\x20".."\x7F" | "\x80".."\xFF" ;
13. escaped_char = "\\" ( "\"" | "\\" | "a" | "b" | "n" | "r" | "t" ) ;
14. hex_char = "\\x" hex₁₅ hex₁₅ ;
15. hex = "0".."9" | "a".."f" | "A".."F" ;

Try BNF_CHK on-line

You can try the program bnf_chk on-line at this WEB page:

www.icosaedro.it/bnf_chk/bnf_chk-on-line.html

You can choose between some examples of EBNF syntaxes, but you can try with your own EBNF syntax too.

Among the samples provided:

Algebraic Expressions - Simple math expressions.
EBNF - The syntax of BNF_CHK.
E-mail - Internet e-mail message, RFC 5322.
Pascal Language
PHP Language

Updates log

Version 1.4_20061107:
====================
- can display the source with line numbers
- can display a line of context along the error message
- new options: --print-source --print-context
- fixed: displays properly plain text when mixed with HTML text

Version 1.3_20061007:
====================
- commonly used escaped sequences "\a\b\n\r\t" now allowed in literal strings
- literal strings now rendered exactly as they were entered

Version 1.3_20060811:
====================
- Now available also as pure-C source for those who don't want to install M2.
- Literal strings now allow for hexadecimal encoded chars \xHH.
- Allows ASCII-extended charset.

Version 1.2_20050405:
====================
- Executable file: fixed buf in the str module of M2.
- The option --do-print-html now force all the output to be HTML.
- The options --version and --help do not stop the program any more.

Version 1.1_20040419:
====================
- Minor changes.

Version 1.0_20040402:
====================
- First public release.

Download

File Size Description

bnf_chk-windows-1.4_20061107.zip 68 KB Executable program tested on Microsoft Windows Vista. Users of Windows that intend simply to use the program, should download only this package.

bnf_chk-pure-c-1.4_20061107.tar.gz 27 KB This version of the program is the output of the M2-to-C cross compiler. To successfully generate the executable program you only need a C compiler like gcc under Linux or Unix.

bnf_chk-1.4_20061107.tar.gz 30 KB Original M2 source of BNF_CHK. Requires the M2 development system, available at www.icosaedro.it/m2.

File	Size	Description
`bnf_chk-windows-1.4_20061107.zip`	68 KB	Executable program tested on Microsoft Windows Vista. Users of Windows that intend simply to use the program, should download only this package.
`bnf_chk-pure-c-1.4_20061107.tar.gz`	27 KB	This version of the program is the output of the M2-to-C cross compiler. To successfully generate the executable program you only need a C compiler like gcc under Linux or Unix.
`bnf_chk-1.4_20061107.tar.gz`	30 KB	Original M2 source of BNF_CHK. Requires the M2 development system, available at www.icosaedro.it/m2.

The source program is also browsable throught the CVS server, from which you can also download the latest version of the program under development.

Umberto Salsi

Comments

Contact

Site map

Home/

An abstract of the latest comments from the visitors of this page follows. Please, use the Comments link above to read all the messages or to add your contribute.

2011-09-19 by Guest
comments
comment sections (* comment *) gave fatal error[more...]

2009-12-21 by Umberto Salsi
Re: EBNF
Anonymous wrote: [...] I would to remember you all to read the specifications about my little program (click on the "Section index" link above) where the exact syntax the program accepts is clearly explained. About the repetition factor, the syntax 3*A can be easily converted to A A A without commas. [more...]

2009-12-11 by Guest
Re: EBNF
Anonymous wrote: [...] The syntax checker also does not understand the repetition syntax above, such as bb = 3 * aa, "B";[more...]

2009-03-05 by Guest
EBNF
It seems that your EBNF syntax checked does not understand ','. In EBNF it is called 'concatenate-symbol'. Eample from ISO 17977: bb = 3 * aa, "B"; cc = 3 * [aa], "C"; Your checker does not understand comma here.[more...]