Removing Nondeterminism in Constant Height Pushdown Automata

Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano. Removing Nondeterminism in Constant Height Pushdown Automata. In Martin Kutrib, Nelma Moreira, Rogério Reis, editors, Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Volume 7386 of Lecture Notes in Computer Science, pages 76-88, Springer, 2012. [doi]

Abstract

Abstract is missing.