Abstract
We study the expressive power of 1-way data-independent finite automata with k heads (1DiDFA(k)). The data-independence means that the trajectory of each head during a computation depends only on the length of the input word. It has long been known that “k+1heads are better than k” for the (data-dependent) 1DFA(k), and (2-way) 2DiDFA(k). However, somewhat surprisingly, no such hierarchy has been known for the 1DiDFA(k). In this paper we show not only the tight head hierarchy for 1DiDFA(k) but even stronger result as well, that for each k≥1, there are languages that can be recognized by a 1DiDFA(k+1), but cannot be recognized by k one-way heads even with a non-deterministic data dependent automaton. On the other hand, we show that if the data-independent automaton is allowed to be two-way, 3 heads are sufficient to simulate all 1DiDFA(k). Finally, we remark that the restriction of data-independence cannot be compensated by adding more heads.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
