Re: Parsing

[Ian Grant]

On Mon, Sep 15, 2014 at 3:59 PM, Ian Grant <address@hidden> wrote:
> The parser's cache can be used as a compact representation of
> the otherwise hyper-exponential size of the ASTs ...

This is wrong. They're not hyper-exponential, they're just exponential.

> it could explore non-deterministic relations, like a Prolog interpreter does.

This is also wrong. They're non-deterministic _functions_ defined by deterministic relations .

I am talking out of my hat again, ...

This is definitely right.

Ian