Input-Driven Queue Automata with Internal Transductions

DOI10.1007/978-3-319-30000-9_12MaRDI QIDQ2798717zbMATH OpenOpenAlexFDO

Authors Martin Kutrib, Andreas Malcher, Matthias Wendlandt

Publication date 13 April 2016

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30000-9_12

zbMATH Keywords

decidabilityformal languagesclosure propertiesqueue automatainput-driven automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Input-driven queue automata: finite turns, decidability, and closure properties
• Deterministic input-driven queue automata: finite turns, decidability, and closure properties
• Input-driven stack automata
• Queue Automata: Foundations and Developments
• scientific article; zbMATH DE number 23833
• Input-driven multi-counter automata
• Input-driven multi-counter automata
• Self-verifying pushdown and queue automata
• Reversible queue automata
• Input-driven double-head pushdown automata

Cited in

(8)

• Input-driven queue automata: finite turns, decidability, and closure properties
• Boosting pushdown and queue machines by preprocessing
• Diving into the queue
• Sweeping input-driven pushdown automata
• Tinput-driven pushdown, counter, and stack automata
• Transduced-input automata with translucent letters
• Deterministic input-driven queue automata: finite turns, decidability, and closure properties
• Queue Automata: Foundations and Developments

This page was built for publication: Input-Driven Queue Automata with Internal Transductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798717)