Further closure properties of input-driven pushdown automata
From MaRDI portal
Publication:5919707
DOI10.1016/j.tcs.2019.04.006zbMath1435.68179MaRDI QIDQ5919707
Kai Salomaa, Alexander Okhotin
Publication date: 7 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01905626/file/470153_1_En_19_Chapter.pdf
cyclic shift; square root; deletion; insertion; visibly pushdown automata; input-driven automata; proportional removals
68Q45: Formal languages and automata