Class Description

AuxPDA: Auxiliary Pushdown Automata

Equivalent to NAuxPDA^p without the running-time restriction.

Equals P [Coo71b].

Linked From

No class.