Multi-Head Finite Automata: Characterizations, Concepts and Open Problems
Markus Holzer, Martin Kutrib, Andreas Malcher
<span title="2009-06-25">2009</span>
<i title="Open Publishing Association">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a>
</i>
Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undecidable or even non-semi-decidable problems on these devices such as, for example, emptiness,
more »
... s, universality, equivalence, etc. These strong negative results trigger the study of subclasses and alternative characterizations of multi-head finite automata for a better understanding of the nature of non-recursive trade-offs and, thus, the borderline between decidable and undecidable problems. In the present paper, we tour a fragment of this literature.
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.1.9">doi:10.4204/eptcs.1.9</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gdxlz36uczhghkxhtxhiatw2ja">fatcat:gdxlz36uczhghkxhtxhiatw2ja</a>
</span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0906.3051/0906.3051.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
File Archive
[PDF]
<span style="color: #f43e3e;">✱</span>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.1.9">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>
