Input-driven multi-counter automata

DOI10.1007/978-3-030-23679-3_16MaRDI QIDQ5918804zbMATH OpenOpenAlexFDO

Authors Martin Kutrib, Andreas Malcher, Matthias Wendlandt

Publication date 6 May 2020

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

Full work available at URL https://doi.org/10.1007/978-3-030-23679-3_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Input-driven multi-counter automata
• Input-driven queue automata: finite turns, decidability, and closure properties
• Deterministic input-driven queue automata: finite turns, decidability, and closure properties
• On three-way two-dimensional multicounter automata
• Tinput-driven pushdown, counter, and stack automata

Cited in

(4)

• Input-Driven Queue Automata with Internal Transductions
• Limited non-determinism hierarchy of counter automata
• Input-driven queue automata: finite turns, decidability, and closure properties
• Input-driven multi-counter automata

This page was built for publication: Input-driven multi-counter automata

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