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