From: Torben �gidius Mogensen on
Daniel Pitts <newsgroup.spamfilter(a)virtualinfinity.net> writes:

> On 6/22/2010 9:24 AM, Piotr Wyderski wrote:

> Without having read anything on 2-DFAs, it sounds like a disguise for
> a NDA. If you might *try* going back, then you have reintroduced
> backtracking, which would cause potential run-time exponential growth
> for savings in the state graph.

You can emulate a 2DFA in linear time by using a simplified variant of
Cook's construction for linear-time emulation of 2PDAs.

Torben