Sciweavers

MFCS
2007
Springer
13 years 11 months ago
Height-Deterministic Pushdown Automata
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
Dirk Nowotka, Jirí Srba