Abstract
Besides reversible Turing machines, various models of reversible machines and automata have been proposed till now. They are reversible finite automata, reversible multi-head finite automata, reversible pushdown automata, reversible counter machines, reversible cellular automata, and others. In this chapter, reversible counter machines (RCMs), and reversible multi-head finite automata (RMFAs) are studied. Reversible cellular automata will be investigated in Chaps. 10–14. A CM is a computing machine that consists of a finite control and a finite number of counters. It is shown that an RCM with only two counters is computationally universal. This result is useful for proving the universality of other reversible systems, since it is a very simple model of computing. On the other hand, an MFA is an acceptor of a language that consists of a finite control, a read-only input tape, and a finite number of input heads. It is proved that any irreversible MFA can be converted into a reversible one with the same number of heads. Hence, the language accepting power of MFAs does not decrease with the constraint of reversibility.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Japan KK
About this chapter
Cite this chapter
Morita, K. (2017). Other Models of Reversible Machines. In: Theory of Reversible Computing. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Tokyo. https://doi.org/10.1007/978-4-431-56606-9_9
Download citation
DOI: https://doi.org/10.1007/978-4-431-56606-9_9
Published:
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-56604-5
Online ISBN: 978-4-431-56606-9
eBook Packages: Computer ScienceComputer Science (R0)