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 .