State Complexity of the Quotient Operation on Input-Driven Pushdown Automata
From MaRDI portal
Publication:5205050
DOI10.1142/S0129054119400367zbMath1427.68152MaRDI QIDQ5205050
Kai Salomaa, Alexander Okhotin
Publication date: 10 December 2019
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata