uhh once again my bodymind refuses to let me actually code, so let me dump some thoughts about the next stage of parser implementation
the fun stuff (limited context sensitivity)
^ time to try to implement this
I have a … not great chance of seeing it through before Friday afternoon, but much better now that I have my thoughts above as a guide
okay, I think I actually implemented it??
now I need example grammars to parse that are:
- lightly context sensitive
- ambiguous without resolving the context sensitivity
as a non-example, the classic context-sensitive language of a^nb^nc^n does not satisfy my second criterion, because it can be parsed by a context-free grammar and then accepted/rejected afterwards
I guess I could start with Polish notation, and then work towards user-defined operators with arbitrary arity ...
