Reversible shrinking two-pushdown automata
From MaRDI portal
Publication:5867516
Authors: Holger Bock Axelsen, Martin Kutrib, Andreas Malcher
Publication date: 14 September 2022
Full work available at URL: http://www.jalc.de/issues/2022/issue_27_1-3/jalc-2022-047-077.php
Recommendations
reversible computingunconventional models of computationChurch-Rosser languagesshrinking two-pushdown automata
Cites Work
- Title not available (Why is that?)
- Growing context-sensitive languages and Church-Rosser languages
- Title not available (Why is that?)
- Reversible shrinking two-pushdown automata
- A hierarchy of fast reversible Turing machines
- What do reversible programs compute?
- Church-Rosser Thue systems and formal languages
- Two-way reversible multi-head finite automata
- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
- Reversible pushdown automata
- Universality of a reversible two-counter machine
- One-way reversible multi-head finite automata
- Reversible space equals deterministic space
Cited In (1)
This page was built for publication: Reversible shrinking two-pushdown automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5867516)