×

zbMATH — the first resource for mathematics

Relating the power of cellular arrays to their closure properties. (English) Zbl 0646.68071
Summary: There are many fundamental open problems concerning cellular arrays (CA’s). For example:
(1) Is the class of real-time CA languages closed under reversal (concatenation)?
(2) Are linear-time CA’s more powerful than real-time CA’s?
(3) Are nonlinear-time CA’s more powerful than linear-time CA’s?
(4) Does one-way communication reduce the computing power of a CA? Although some of these problems appear to be easier to resolve than the others, e.g., problem (1) seems easier than (2), no solution to any of these problems is forthcoming. In this paper, we investigate the relationships among these problems as well as prove some positive results concerning CA’s. We show:
(a) the class of real-time CA languages is closed under reversal if and only if linear-time CA’s are equivalent to real-time CA’s; (b) if CA’s are more powerful than CA’s restricted to one-way data communication (i.e., one-way CA’s), then nonlinear-time CA’s are more powerful than linear-time CA’s;
(c) if the class of real-time CA languages is closed under reversal, then it is also closed under concatenation. In the case of unary CA languages, we show that the class is closed under concatenation.
We also show that the language \(L=\{0^ n1^ m |\) \(m,n>0\), m divides \(n\}\) is a real-time CA language, disproving a conjecture of Bucher and Culik.

MSC:
68Q80 Cellular automata (computational aspects)
68Q45 Formal languages and automata
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bucher, W.; Culik, K., On real-time and linear-time cellular automata, RAIRO inform. théor., 18, 4, 307-325, (1984) · Zbl 0547.68050
[2] Chang, J.; Ibarra, O.; Vergis, A., On the power of one-way communication, Proc. 27th IEEE ann. symp. on foundations of computer science, 455-464, (1986), also J. ACM, to appear
[3] Choffrut, C.; Culik, K., On real-time cellular automata and Trellis automata, Acta inform., 21, 393-409, (1984) · Zbl 0534.68039
[4] Culik, K.; Gruska, J.; Salomaa, A., Systolic Trellis automata, Internat. J. comput. math., 15, 195-212, (1984), Part I · Zbl 0571.68041
[5] Dyer, C., One-way bounded cellular automata, Inform. and control, 44, 54-69, (1980)
[6] Hennie, F., Iterative arrays of logical circuits, (1961), MIT Press Cambridge, MA
[7] Kosaraju, S., On some open problems in the theory of cellular automata, IEEE trans. on comput., C-23, 561-565, (1974) · Zbl 0285.68027
[8] Ibarra, O.; Palis, M.; Kim, S., Some results concerning linear iterative (systolic) arrays, J. parallel and distributed comput., 2, 182-218, (1985)
[9] Ibarra, O.; Kim, S.; Palis, M., Designing systolic algorithms using sequential machines, IEEE trans. on comput., Proc. 25th IEEE symp. on foundations of computer science, C-35, 6, 46-55, (1984), extended abstract
[10] Ibarra, O.; Jiang, T., On the computing power of one-way cellular arrays, Proc. 14th internat. coll. on automata, languages, and programming, SIAM j., 16, 6, 1135-1154, (1987), Karlsruhe, Fed. Rep. Germany · Zbl 0646.68070
[11] Paterson, M., Tape bounds for time-bounded Turing machines, J. comput. system sci., 6, 116-124, (1972) · Zbl 0236.02031
[12] Savitch, W., Relationships between nondeterministic and deterministic complexities, J. comput. system sci., 4, 177-192, (1970) · Zbl 0188.33502
[13] Smith, A., Cellular automata and formal languages, Proc. 11th IEEE ann. symp. on switching and automata theory, 216-224, (1970)
[14] Smith, A., Cellular automata complexity trade-offs, Inform. and control, 18, 466-482, (1971) · Zbl 0222.94057
[15] Smith, A., Real-time language recognition by one-dimensional cellular automata, J. comput. system sci., 6, 233-253, (1972) · Zbl 0268.68044
[16] Umeo, H.; Morita, K.; Sugata, K., Deterministic one-way simulation of two-way real-time cellular automata and its related problems, Inform. process. lett., 14, 159-161, (1982) · Zbl 0488.68041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.