Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 7584596

From MaRDI portal
Publication:5867516
Jump to:navigation, search

MaRDI QIDQ5867516FDOQ5867516

Holger Bock Axelsen, Andreas Malcher, Martin Kutrib

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

Title of this publication is not available (Why is that?)


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:

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5867516&oldid=30721400"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 March 2024, at 05:51. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki