<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@jschuster" class="u-url mention">@<span>jschuster</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@mudri" class="u-url mention">@<span>mudri</span></a></span> <br />This is a very reasonable question. It is hard to answer because there isn't a canonical answer for what the output of the parser is.</p><p>For instance, a typical parser does not type-check (which is clearly context-sensitive). But not everything may be context-free. E.g.: the AST may not just have "names", but may have bound instances referring to binding locations. If so, the parser needs to keep track of them as it goes along, which is context-sensitive.</p><p>Make sense?</p>
