monoidmusician
@monoidmusician

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)


monoidmusician
@monoidmusician

^ 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


monoidmusician
@monoidmusician

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 ...


You must log in to comment.