Yo-Sub Han, Sang-Ki Ko, Kai Salomaa. Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.100
HAL Archives-Ouvertes,
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa. Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.