The quotient operation on input-driven pushdown automata
From MaRDI portal
Publication:2401013
DOI10.1007/978-3-319-60252-3_24zbMath1426.68153OpenAlexW2620675909MaRDI QIDQ2401013
Kai Salomaa, Alexander Okhotin
Publication date: 31 August 2017
Full work available at URL: https://hal.inria.fr/hal-01657008/file/440206_1_En_24_Chapter.pdf
Related Items (2)
Further closure properties of input-driven pushdown automata ⋮ State Complexity of the Quotient Operation on Input-Driven Pushdown Automata
This page was built for publication: The quotient operation on input-driven pushdown automata