We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Generalizations of Checking Stack Automata: Characterizations and Hierarchies

Abstract: We examine different generalizations of checking stack automata by allowing multiple input heads and multiple stacks, and characterize their computing power in terms of two-way multi-head finite automata and space-bounded Turing machines. For various models, we obtain hierarchies in terms of their computing power. Our characterizations and hierarchies expand or tighten some previously known results. We also discuss some decidability questions and the space/time complexity of the models.
Comments: 28 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
ACM classes: F.4.3
Journal reference: International Journal of Foundations of Computer Science, 32 (5), 481-508, (2021)
DOI: 10.1142/S0129054121410045
Cite as: arXiv:2212.00897 [cs.FL]
  (or arXiv:2212.00897v1 [cs.FL] for this version)

Submission history

From: Ian McQuillan [view email]
[v1] Thu, 1 Dec 2022 22:29:30 GMT (42kb)

Link back to: arXiv, form interface, contact.