On Mon, Sep 15, 2014 at 3:59 PM, Ian Grant <ian.a.n.gr...@googlemail.com>
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

Reply via email to