A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Limited automata and unary languages
2019
Information and Computation
Limited automata are one-tape Turing machines that are allowed to rewrite the content of any tape cell only in the first d visits, for a fixed constant d. When d = 1 these models characterize regular languages. An exponential gap between the size of limited automata accepting unary languages and the size of equivalent finite automata is proved. Since a similar gap was already known from unary contextfree grammars to finite automata, also the conversion of such grammars into limited automata is
doi:10.1016/j.ic.2019.01.002
fatcat:l4ts3gyqbzfmbh6jjsdz52xb3u