Reversible Shrinking Two-Pushdown Automata

DOI10.1007/978-3-319-30000-9_44zbMath1443.68080OpenAlexW2403684796MaRDI QIDQ2798750

Markus Holzer, Martin Kutrib, Holger Bock Axelsen, Andreas Malcher

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_44

zbMATH Keywords

reversible computingunconventional models of computationChurch-Rosser languagesshrinking two-pushdown automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other nonclassical models of computation (68Q09)

Related Items (2)

On reversible Turing machines and their function universality ⋮ Unnamed Item

This page was built for publication: Reversible Shrinking Two-Pushdown Automata