Abstract
We give a brief account of the progress that has been made in the last few years concerning the computational complexity of cellular arrays, and cite a few important open problems that remain unresolved.
Research was supported in part by NSF Grant CCR-8918409.
Research was supported in part by NSERC Operating Grant OGP0046613.
Preview
Unable to display preview. Download preview PDF.
References
Bucher, W. and K. Culik II, On real time and linear time cellular automata, R.A.I.R.O. Informatique theorique/Theoretical Infomatics 18-4, 1984, pp. 307–325.
Chandra, A., D. Kozen and L. Stockmeyer, Alternation, J. ACM 28-1, 1981, pp. 114–133.
Chang, J., O. Ibarra, and M. Palis, Efficient simulations of simple models of parallel computation by space-bounded TMs and time-bounded alternating TMs, in the Proceedings of the 14th ICALP, 1988, Finland; expanded version in Theoretical Computer Science 68, 19–36, 1989.
Chang, J., O. Ibarra, and A. Vergis, On the power of one-way communication, J. ACM 35, 1988, pp. 697–726.
Choffrut, C. and K. Culik II, On real-time cellular automata and trellis automata, Acta Inform. 21, 1984, pp. 393–409.
Cole, S., Real-time computation by n-dimensional iterative arrays of finite-state machines, IEEE Trans. Comput. 18-4, 1969, pp. 346–365.
Culik II, K., J. Gruska, and A. Salomaa, Systolic trellis automata: Part I, Internat. J. Comput. Math. 15, 1984, pp. 195–212.
Culik II, K., O. Ibarra, and S. Yu, Iterative Tree Arrays with Logarithmic Depth, Intern. J. Computer Math. 20, 1986, pp. 187–204.
Dyer, C., One-way bounded cellular automata, Information and Control 44, 1980, pp. 54–69.
Dyer, C. and Rosenfeld, A., Triangle Cellular Automata, Information and Control 48, 1981, pp. 54–69.
Harrison, M., Introduction to formal language theory, Addison-Wesley, 1978.
Hennie, F., Iterative arrays of logical circuits, MIT Press, Cambridge, Mass., 1961.
Hopcroft, J. and J. Ullman, Introduction to automata theory, languages, and computation, Addison-Wesley, 1979.
Ibarra, O. and S. Kim, Characterizations and computational complexity of systolic trellis automata, Theor. Comput. Sci. 29, 1984, pp. 123–153.
Ibarra, O., S. Kim, and S. Moran, Sequential machine characterizations of trellis and cellular automata and applications, SIAM J. Computing 14, 1985, pp. 426–447.
Ibarra, O., M. Palis, and S. Kim, Some results concerning linear iterative (systolic) arrays, J. of Parallel and Distributed Computing 2, 1985, pp. 182–218.
Ibarra, O., S. Kim, and M. Palis, Designing Systolic Algorithms using sequential machines, IEEE Trans. on Computers C35-6, 1986, pp. 31–42; extended abstract in Proc. 25th IEEE Symposium on Foundations of Computer Science, 1984, pp. 46–55.
Ibarra, O. and Jiang, T., On one-way cellular arrays, SIAM J. on Computing 16, 1987, pp. 1135–1154; prelim. version in Proc. 13th ICALP, 1987, Karlsruhe, West Germany.
Ibarra, O., and M. Palis, Two-dimensional systolic arrays: characterizations and applications, Theoretical Computer Science 57, 1988, pp. 47–86.
Ibarra, O. and T. Jiang, Relating the power of cellular arrays to their closure properties, Theoretical Computer Science 57, 1988, 225–238.
O. Ibarra, T. Jiang, and J. Chang, On iterative and cellular tree arrays, Journal of Computer and System Sciences 38, 1989, pp. 452–473.
Ibarra, O. and T. Jiang, Optimal simulation of tree arrays by linear arrays, Inform. Process. Lett. 30, 1989, pp. 295–302.
Kosaraju, S., On some open problems in the theory of cellular automata, IEEE Trans. on Computers C-23, 1974, pp. 561–565.
Paterson, M., Tape bounds for time-bounded Turing machines, J. Comp. System Sci. 6, 1972, pp. 116–124.
Paterson, M., W. Ruzzo, and L. Snyder, Bounds on minmax edge length for complete binary trees, Proc. 13th ACM Symposium on the Theory of Computing, 1981, pp. 293–299.
Savitch, W., Relationships between nondeterministic and deterministic complexities, J. Comp. System Sci. 4, 1970, pp. 177–192.
Smith, A., III, Cellular automata and formal languages, Proc. 11th IEEE Ann. Symp. on Switching and Automata Theory, 1970, pp. 216–224.
Smith, A., III, Cellular automata complexity trade-offs, Information and Control 18, 1971, pp. 466–482.
Smith, A., III, Real-time language recognition by one-dimensional cellular automata, J. Comp. System Sci. 6, 1972, pp. 233–253.
Umeo, H., K. Morita, and K. Sugata, Deterministic one-way simulation of two-way realtime cellular automata and its related problems, Inform. Process. Lett. 14, 1982, pp. 159–161.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ibarra, O.H., Jiang, T. (1994). On some open problems concerning the complexity of cellular arrays. In: Karhumäki, J., Maurer, H., Rozenberg, G. (eds) Results and Trends in Theoretical Computer Science. Lecture Notes in Computer Science, vol 812. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58131-6_47
Download citation
DOI: https://doi.org/10.1007/3-540-58131-6_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58131-4
Online ISBN: 978-3-540-48445-5
eBook Packages: Springer Book Archive