Work

Exact descriptional complexity of determinization of input-driven pushdown automata