Skip to main content

A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads

13Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

A two-way multi-head finite automaton (MFA) is a variant of a finite automaton consisting of a finite-state control, a finite number of heads that can move in two directions, and a read-only input tape. Here, we show that for any given deterministic MFA we can construct a reversible MFA with the same number of heads that accepts the same language as the former. We then apply this conversion method to a Turing machine. By this, we can obtain, in a simple way, an equivalent reversible Turing machine that is garbage-less, uses the same number of tape symbols, and uses the same amount of the storage tape. © 2013 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Morita, K. (2013). A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7581 LNCS, pp. 29–43). Springer Verlag. https://doi.org/10.1007/978-3-642-36315-3_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free