A Decision Method for the Equivalence of some Non-Real-Time Deterministic Pushdown Automata

Esko Ukkonen

Browse the full STOC paper archive.