Class Description
AuxPDA
: Auxiliary Pushdown Automata
Equivalent to
NAuxPDA
p
without the running-time restriction.
Equals
P
[Coo71b]
.
Linked From
No class.