Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties

DOI10.1007/978-3-642-39274-0_21zbMath1298.68147OpenAlexW1547647255MaRDI QIDQ5327498

Martin Kutrib, Carlo Mereghetti, Beatrice Palano, Andreas Malcher, Matthias Wendlandt

Publication date: 7 August 2013

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39274-0_21

zbMATH Keywords

closure propertiesdecidability questionsqueue automatainput-driven automatafinite turns

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties