Efficient determinization of visibly and height-deterministic pushdown automata

Radomír Polách, Jan Trávnícek, Jan Janousek, Borivoj Melichar. Efficient determinization of visibly and height-deterministic pushdown automata. Computer Languages, Systems \& Structures, 46:91-105, 2016. [doi]

Abstract

Abstract is missing.