thautwarm/gkdbnf

convert bnf files, to LaTex notations, supporting multiple LaTex BNF packages as back ends

GKD-BNF

pip install gkdbnf.

Maybe the most simplest way to write pretty BNF in LaTex.

Use this package with gkdtex:

Usage

\gkd@bnf{
<i> :: Integer
<x> :: Symbol
<s> :: String

<h> :: !Expr[MinDyn]! = \mathbf{func} (\! <x*> \!) \{ <h*> \} %%% functions
        | <h> ( <h*> ) %%% applications
        | <x> = <h>   %%% assignments
        | \mathbf{if} ( <h> ) \{ <h*> \} \{ <h*> \} %%% conditions
        | <x> %%% variable read
        | <i>
        | <s>

<toplevel> ::= <h>
        | \mathbf{const} <x> = <h>
        
<proc> ::= <toplevel*>
}

Syntax

Valid BNF Syntax:

atom ::= NONTERMINAL
       | TERMINAL
       | TERMINAL2
       | '|'

rule        ::= '%%%' TERMINAL2
description ::=  TERMINAL | TERMINAL2
type        ::= TERMINAL | TERMINAL2 | NONTERMINAL

prod  ::= description? NONTERMINAL '::' type  '=' atom+ rule? 
      | '|' atom+ rule?

start ::= start NEWLINE
      |   start prod
      |   NEWLINE
      |   prod

Lexer rule by regex:

NEWLINE     = [\r\n]+
NONTERMINAL = <.*?>
TERMINAL2   = !.*?!
TERMINAL    = \S+

Whitespace tokens are ignored.

Nice Error Report

1:  \gkd@usepackage{gkdbnf}
2:  \gkd@bnf{
3:  <a> ::= a + 1
4:
5:  <c> ::= a a
6:  Expressions e ::= e
7: }

You get error

SyntaxError: filename runtest/a.tex:
line 6, column 13, NonTerm not match

Then you know you should change Expression e to Expression <e>.