On the determinization of event-clock input-driven pushdown automata

Mizuhito Ogawa, Alexander Okhotin

Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the paren…