#todotxr #ebnf #bnf #wsn #grammar #syntax
Are there any grammar/syntax folks here who've worked with (E)BNF/WSN/etc?
I'm doing some work on todotxt (http://todotxt.org) to define its formal grammar in EBNF. I'm having a terrible time being able to validate its syntax, etc. Every on-line validator I've found (or library via rust) seems to completely disagree on the proper syntax, for example:
foo ::= "1" | "2"' ;
Some don't like the "::", some want ":=", or "=", some don't like the terminator (";") at the end of the line, etc.
I've written EBNF before, although admittedly I just made my own judgement as to the validity of it -- and in this example, the point wasn't to then generate a parsing syntax from it.
But with todotxt, I do want to be able to do that, and I'm struggling with all these little discrepancies.
Any help/thoughts would be really useful.
TIA!