From: joel de guzman (joel_at_[hidden])
Date: 2001-05-24 23:09:43


From: "Greg Colvin" :
> It wasn't clear to me from the documentation that Spirit is a
> backtracking parser. If it is then, yes, theory says it will
> have exponentional worst case complexity.
>
> It is even less clear to me that Spirit *must* be a backtracking
> parser. Some have suggested that an Earley parser would be better.

OK. Sorry if that wasn't clear. For the record: Spirit is an
exhaustive back-tracking recursive descent parser generator.
I'll modify the docs soon based on these discussions.

I'll definitely consider Earley parsers.

Cheers,
Joel de Guzman