Reversible shrinking two-pushdown automata

MaRDI QIDQ5867516FDOQ5867516

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 shrinking two-pushdown automata
• Fundamentals of Computation Theory
• Reversible pushdown automata
• Reversible pushdown automata
• The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages

zbMATH Keywords

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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)

• Reversal Hierarchies for Small 2DFAs

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)