Abstract
We continue the study of communication-bounded synchronized alternating finite automata (SAFA), first considered by Hromkovič et al. We show that to accept a nonregular language, an SAFA needs to generate at least Ω(log logn) communication symbols infinitely often; furthermore, a synchronized alternating finite automaton without nondeterminism (SUFA) needs to generate at leastΩ(log logn) communication symbols infinitely often for some constantk≥1. We also show that these bounds are tight.
Next, we establish dense hierarchies of these machines on the function bounding the number of communication symbols. Finally, we give a characterization of NP in terms of communication-bounded multihead synchronized alternating finite automata, namely, NP = ⋃ k≥1 L(SAFA(k-heads,n k -com)). This result recasts the relationships between P, NP, and PSPACE in terms of multihead synchronized alternating finite automata.
Similar content being viewed by others
References
[DHK+89] Dassow, J., Hromkovič, J., Karhumäki, J., Rovan, B., Slobodová, A.: On the power of synchronization in parallel computations. In: Proceedings of the 14th MFCS'89 (Lect. Notes Comput. Sci., vol. 379, pp. 196–206) Berlin Heidelberg New York: Springer 1989
[Hil85] Hillis, W.D.: The Connection Machine, PhD thesis, Massachusetts Institute of Technology, 1985
[HIR+92] Hromkovič, J., K. Inoue, Rovan, B., A. Slobodová, I. Takanami, K. Wagner: On the power of one-way synchronized alternating machines with small space. Int. J. Foundations Comput. Sci.3, 65–79 (1992)
[HKRS91] Hromkovič, J., Karhumäki, J., Rovan, B., Slobodová, A.: On the power of synchronization in parallel computations. Disc. Appl. Mathematics32, 155–182 (1991)
[Hro86] Hromkovič, J.: How to organize the communication among parallel processes in alternating computations. Manuscript, Jan. 1986
[IT92] Ibarra, O.H., Tran, N.Q.: On space-bounded synchronized alternating Turing machines. Theor. Comput. Sci.99, 243–264 (1992)
[IT93] Ibarra, O.H., Tran, N.Q.: Synchronized finite automata and 2DFA reductions. Theor. Comput. Sci.115, 261–275 (1993)
[Iwa91] Iwama, K.: Aspace(o(loglog n)) is regular, tech. report, Department of Computer Science and Communication Engineering, Kyushu University, Hakozaki, Fukuoka 812, Japan, 1991
[Kin88] King, K.N.: Alternating multihead finite automata. Theor. Comput. Sci.61, 149–174 (1988)
[Slo87] Slobodová, A.: On the power of communication in alternating computations. Student Research Papers Competition, Section Computer Science (in Slovac), Comenius University, Bratislava, Czechoslovakia, Apr. 1987
[Slo88a] Slobodová, A.: On the power of communication in alternating machines. In: Proceedings of the 13th MFCS'88, (Lect. Notes Comput. Sci., vol. 324, pp. 518–528) Berlin Heidelberg New York: Springer 1988
[Wie87] Wiedermann, J.: On the power of synchronization. Tech. Report, VUSEI-AR, Bratislava, Czechoslovakia, 1987.
Author information
Authors and Affiliations
Additional information
Research supported in part by NSF Grant CCR89-18409
Rights and permissions
About this article
Cite this article
Ibarra, O.H., Tran, N.Q. On communication-bounded synchronized alternating finite automata. Acta Informatica 31, 315–327 (1994). https://doi.org/10.1007/BF01178509
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01178509