Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines
Given an n-tape automaton M with a one-way read-only head per tape which is delimited by an end marker $ and a nonnegative integer k, we say that M is weakly k-synchronized if for every n-tuple x = (x 1, …, x n ) that is accepted, there is an accepting computation on x such that no pair of input heads, neither of which is on $, are more than k tape cells apart at any time during the computation. When a head reaches the marker, it can no longer move. As usual, an n-tuple x = (x 1, …, x n ) is accepted if M eventually reaches the configuration where all n heads are on $ in an accepting state. We look at the following problems: (1) Given an n-tape automaton M, is it weakly k-synchronized for a given k (for some k)? and (2) Given an n-tape automaton M, does there exist a weakly k-synchronized automaton for a given k (for some k) M′ such that L(M′) = L(M)? In an earlier paper , we studied the case of multitape finite automata (NFAs). Here, we investigate the case of multitape pushdown automata (NPDAs), multitape Turing machines, and other multitape models. The results that we obtain contrast those of the earlier results and involve some rather intricate constructions.
KeywordsMultitape NPDAs Weakly Synchronized Reversal-bounded Counters Multitape Turing Machines (Un)decidability Halting Problem Post Correspondence Problem
Unable to display preview. Download preview PDF.
- 1.Egecioglu, O., Ibarra, O.H., Tran, N.: Multitape NFA: weak synchronization of the input heads. In: Proc. of the 38th International Conference on Current Trends in Theory and Practice of Computer Science (to appear, 2012)Google Scholar
- 4.Ibarra, O.H., Tran, N.: On synchronized multitape and multihead automata. In: Proc. of the 13th Int. Workshop on Descriptional Complexity of Formal Systems, pp. 184–197 (2011)Google Scholar