#todotxr — Public Fediverse posts

#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!

#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!

#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!

#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!

#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!