EBNF is ill-defined, there being some incompatible variants.... I think
bison (and yacc) parses some superset of some variant of EBNF.
I can give you an ABNF syntax checker, though....
FWIW, there's an ABNF checker on the apps area Web server: http://www.apps.ietf.org/abnf.html Ned