Computational Complexity

2012 Edition
| Editors: Robert A. Meyers (Editor-in-Chief)

Cellular Automata and Language Theory

  • Martin Kutrib
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-1800-9_25

Article Outline

Glossary

Definition of the Subject

Introduction

Cellular Language Acceptors

Tools and Techniques

Computational Capacities

Closure Properties

Decidability Problems

Future Directions

Bibliography

Keywords

Cellular Automaton Turing Machine Closure Property Language Family Pushdown Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Bibliography

Primary Literature

  1. 1.
    Achilles AC, Kutrib M, Worsch T (1996) On relations between arrays of processing elements of different dimensionality.In: Parallel processing by cellular automata and arrays (PARCELLA 1996). Mathematical Research 96. Akademie Verlag, Berlin, pp 13–20Google Scholar
  2. 2.
    Albert J, Čulik II K (1987) A simple universal cellular automaton and its one-way and totalistic version.Complex Systems 1:1–16Google Scholar
  3. 3.
    Amoroso S, Patt YN (1972) Decision procedures for surjectivity and injectivity of parallel maps for tesselation structures.J Comput System Sci 6:448–464MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Baker BS, Book RV (1974) Reversal‐bounded multipushdown machines. J Comput System Sci 8:315–332MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Bleck B, Kröger H (1992) Cellular algorithms. In: Advances in parallel computing, vol 2. JAI Press, London, pp 115–143Google Scholar
  6. 6.
    Bucher W, Čulik II K (1984) On real time and linear time cellular automata.RAIRO Inform Théor 18:307–325Google Scholar
  7. 7.
    Buchholz T, Klein A, Kutrib M (1998) On time reduction and simulation in cellular spaces.Int J Comput Math 71:459–474MathSciNetCrossRefGoogle Scholar
  8. 8.
    Buchholz T, Klein A, Kutrib M (1999) Iterative arrays with a wee bit alternation. In: Fundamentals of Computation Theory (FCT 1999). LNCS, vol 1684.Springer, Berlin, pp 173–184CrossRefGoogle Scholar
  9. 9.
    Buchholz T, Klein A, Kutrib M (2000) Iterative arrays with small time bounds. In: Mathematical Foundations of Computer Science (MFCS 1998). LNCS, vol 1893.Springer, Berlin, pp 243–252Google Scholar
  10. 10.
    Buchholz T, Klein A, Kutrib M (2000) Real-time language recognition by alternating cellular automata. In: Theoretical Computer Science (TCS 2000). LNCS, vol 1872. Springer, Berlin, pp 213–225Google Scholar
  11. 11.
    Buchholz T, Klein A, Kutrib M (2002) On interacting automata with limited nondeterminism. Fund Inform 52:15–38MathSciNetMATHGoogle Scholar
  12. 12.
    Buchholz T, Klein A, Kutrib M (2003) Iterative arrays with limited nondeterministic communication cell. In: Words, Languages and Combinatorics III (WLC 2000), World Scientific Publishing, Singapore, pp 73–87Google Scholar
  13. 13.
    Buchholz T, Kutrib M (1997) Some relations between massively parallel arrays.Parallel Comput 23(11):1643–1662MathSciNetCrossRefGoogle Scholar
  14. 14.
    Buchholz T, Kutrib M (1998) On time computability of functions in one-way cellular automata.Acta Inf 35:329–352MathSciNetMATHCrossRefGoogle Scholar
  15. 15.
    Chang JH, Ibarra OH, Palis MA (1987) Parallel parsing on a one-way array of finite-state machines.IEEE Trans Comp C-36:64–75Google Scholar
  16. 16.
    Chang JH, Ibarra OH, Vergis A (1988) On the power of one-way communication.J ACM 35:697–726MathSciNetCrossRefGoogle Scholar
  17. 17.
    Choffrut C, Čulik II K (1984) On real-time cellular automata and trellis automata.Acta Inf 21:393–407Google Scholar
  18. 18.
    Cole SN (1966) Real-time computation by n-dimensional iterative arrays of finite-state machines.In: IEEE Symposium on Switching and Automata Theory (SWAT 1966).IEEE Press, New York, pp 53–77CrossRefGoogle Scholar
  19. 19.
    Cole SN (1969) Real-time computation by n‑dimensional iterative arrays of finite-state machines.IEEE Trans Comp C‑18(4):349–365Google Scholar
  20. 20.
    Čulik II K, Fris I (1985) Topological transformations as a tool in the design of systolic networks.Theoret Comp Sci 37:183–216Google Scholar
  21. 21.
    Čulik II K, Gruska J, Salomaa A (1984) Systolic trellis automata I. Int J Comp Math 15:195–212Google Scholar
  22. 22.
    Čulik II K, Gruska J, Salomaa A (1986) Systolic trellis automata: Stability, decidability and complexity. Inf Control 71:218–230Google Scholar
  23. 23.
    Czeizler E, Kari J (2005) A tight linear bound on the neighborhood of inverse cellular automata.In: Automata, Languages and Programming (ICALP 2005). LNCS, vol 3580. Springer, Berlin, pp 410–420CrossRefGoogle Scholar
  24. 24.
    Delorme M, Mazoyer J (2004) Real-time recognition of languages on an two‐dimensional archimedean thread.Theor Comp Sci 322:335–354MathSciNetMATHCrossRefGoogle Scholar
  25. 25.
    Dubacq JC, Terrier V (2002) Signals for cellular automata in dimension 2 or higher.In: Theoretical Informatics (LATIN 2002). LNCS, vol 2286.Springer, Berlin, pp 451–464CrossRefGoogle Scholar
  26. 26.
    Dyer CR (1980) One-way bounded cellular automata. Inf Control 44:261–281MathSciNetMATHCrossRefGoogle Scholar
  27. 27.
    Fischer PC (1965) Generation of primes by a one‐dimensional real-time iterative array.J ACM 12:388–394MATHCrossRefGoogle Scholar
  28. 28.
    Fischer PC, Kintala CMR (1979) Real-time computations with restricted nondeterminism.Math. Syst Theory 12:219–231Google Scholar
  29. 29.
    Ginsburg S, Greibach SA, Harrison MA (1967) One-way stack automata. J ACM 14:389–418MathSciNetMATHCrossRefGoogle Scholar
  30. 30.
    Hartmanis J (1967) Context-free languages and Turing machine computations. Proc Symp App Math 19:42–51MathSciNetCrossRefGoogle Scholar
  31. 31.
    Höllerer WO, Vollmar R (1975) On forgetful cellular automata. J Comp Syst Sci 11:237–251Google Scholar
  32. 32.
    Ibarra OH, Jiang T (1987) On one-way cellular arrays.SIAM J Comp 16:1135–1154MathSciNetMATHCrossRefGoogle Scholar
  33. 33.
    Ibarra OH, Jiang T (1988) Relating the power of cellular arrays to their closure properties.Theor Comp Sci 57:225–238MathSciNetMATHCrossRefGoogle Scholar
  34. 34.
    Ibarra OH, Kim SM, Moran S (1985) Sequential machine characterizations of trellis and cellular automata and applications.SIAM J Comp 14:426–447MathSciNetMATHCrossRefGoogle Scholar
  35. 35.
    Ibarra OH, Kim SM (1984) Characterizations and computational complexity of systolic trellis automata.Theor Comp Sci 29:123–153MathSciNetCrossRefGoogle Scholar
  36. 36.
    Ibarra OH, Palis MA (1985) Some results concerning linear iterative (systolic) arrays.J Paral Distrib Comp 2:182–218CrossRefGoogle Scholar
  37. 37.
    Ibarra OH, Palis MA (1988) Two‐dimensional iterative arrays: Characterizations and applications.Theor Comp Sci 57:47–86MathSciNetMATHCrossRefGoogle Scholar
  38. 38.
    Ibarra OH, Palis MA, Kim SM (1985) Fast parallel language recognition by cellular automata.Theor Comp Sci 41(2–3):231–246MathSciNetMATHCrossRefGoogle Scholar
  39. 39.
    Imai K, Morita K (1996) Firing squad synchronization problem in reversible cellular automata.Theor Comp Sci 165(2):475–482MathSciNetMATHCrossRefGoogle Scholar
  40. 40.
    Iwamoto C, Hatsuyama T, Morita K, Imai K (2002) Constructible functions in cellular automata and their applications to hierarchy results.Theor Comp Sci 270:797–809MathSciNetMATHCrossRefGoogle Scholar
  41. 41.
    Kari J (1994) Reversibility and surjectivity problems of cellular automata.J Comp Syst Sci 48(1):149–182MathSciNetMATHCrossRefGoogle Scholar
  42. 42.
    Kasami T, Fuji M (1968) Some results on capabilities of one‐dimensional iterative logical networks.Elect Commun Japan 51‑C:167–176Google Scholar
  43. 43.
    Kim S, McCloskey R (1990) A characterization of constant-time cellular automata computation.Phys D 45:404–419MathSciNetMATHCrossRefGoogle Scholar
  44. 44.
    Kintala CMR (1977) Computations with a Restricted Number of Nondeterministic Steps.Ph D thesis, Pennsylvania State University, University ParkGoogle Scholar
  45. 45.
    Klein A, Kutrib M (2003) Fast one-way cellular automata. Theor Comp Sci 1–3:233–250MathSciNetCrossRefGoogle Scholar
  46. 46.
    Klein A, Kutrib M (2007) Cellular devices and unary languages.Fund Inf 78:343–368MathSciNetMATHGoogle Scholar
  47. 47.
    Kosaraju SR (1975) Speed of recognition of context-free languages by array automata.SIAM J Comp 4:331–340MathSciNetMATHCrossRefGoogle Scholar
  48. 48.
    Krithivasan K, Mahajan M (1995) Nondeterministic, probabilistic and alternating computations on cellular array models.Theor Comp Sci 143:23–49MathSciNetMATHGoogle Scholar
  49. 49.
    Kutrib M (1999) Pushdown cellular automata. Theor Comp Sci 215(1–2):239–261MathSciNetMATHCrossRefGoogle Scholar
  50. 50.
    Kutrib M (2001) Efficient universal pushdown cellular automata and their application to complexity.In: Machines, Computations, and Universality (MCU 2001). LNCS, vol 2055. Springer, Berlin, pp 252–263CrossRefGoogle Scholar
  51. 51.
    Kutrib M, Löwe JT (2002) Massively parallel fault tolerant computations on syntactical patterns.Fut Gener Comp Syst 18:905–919Google Scholar
  52. 52.
    Kutrib M, Löwe JT (2003) Space- and time-bounded nondeterminism for cellular automata.Fund Inf 58(2003):273–293Google Scholar
  53. 53.
    Kutrib M, Malcher A (2006) Fast cellular automata with restricted inter-cell communication: Computational capacity. In: Theoretical Computer Science (IFIP TCS2006). IFIP 209.Springer, Berlin, pp 151–164Google Scholar
  54. 54.
    Kutrib M, Malcher A (2006) Fast iterative arrays with restricted inter-cell communication: Constructions and decidability.In: Mathematical Foundations of Computer Science (MFCS 2006). LNCS, vol 4162. Springer, Berlin, pp 634–645CrossRefGoogle Scholar
  55. 55.
    Kutrib M, Malcher A (2008) Fast reversible language recognition using cellular automata. Inform Comput 206(9–10):1142–1151Google Scholar
  56. 56.
    Kutrib M, Malcher A (2007) Real-time reversible iterative arrays.In: Fundamentals of Computation Theory 2007 (FCT 2007). LNCS, vol 4693. Springer, Berlin, pp 376–387CrossRefGoogle Scholar
  57. 57.
    Kutrib M, Worsch T (1994) Investigation of different input modes for cellular automata.In: Parallel Processing by Cellular Automata and Arrays (PARCELLA 1994).Mathematical Research 81, Akademie Verlag, Berlin, pp 141–150Google Scholar
  58. 58.
    Malcher A (2002) Descriptional complexity of cellular automata and decidability questions.J Autom Lang Comb 7:549–560MathSciNetMATHGoogle Scholar
  59. 59.
    Malcher A (2004) On the descriptional complexity of iterative arrays. IEICE Trans Inf Syst E87-D(3):721–725MathSciNetGoogle Scholar
  60. 60.
    Martin B (1994) A universal cellular automaton in quasi-linear time and its S-m-n form.Theor Comp Sci 123(2):199–237MATHCrossRefGoogle Scholar
  61. 61.
    Matamala M (1997) Alternation on cellular automata.Theor Comp Sci 180:229–241MathSciNetMATHCrossRefGoogle Scholar
  62. 62.
    Mazoyer J (1987) A six-state minimal time solution to the firing squad synchronization problem.Theor Comp Sci 50:183–238MathSciNetMATHCrossRefGoogle Scholar
  63. 63.
    Mazoyer J, Terrier V (1999) Signals in one‐dimensional cellular automata.Theor Comp Sci 217:53–80MathSciNetMATHCrossRefGoogle Scholar
  64. 64.
    Morita K (1992) Computation‐universality of one‐dimensional one-way reversible cellular automata. Inf Proc Lett 42:325–329MATHCrossRefGoogle Scholar
  65. 65.
    Morita K (1995) Reversible simulation of one‐dimensional irreversible cellular automata. Theor Comp Sci 148:157–163MATHCrossRefGoogle Scholar
  66. 66.
    Morita K, Harao M (1989) Computation universality of one dimensional reversible injective cellular automata. Trans IEICE E72 pp 758–762Google Scholar
  67. 67.
    Morita K, Ueno S (1994) Parallel generation and parsing of array languages using reversible cellular automata.Int J Pattern Recog Artif Int 8:543–561CrossRefGoogle Scholar
  68. 68.
    Nakamura K (1999) Real-time language recognition by one-way and two-way cellular automata.In: Mathematical Foundations of Computer Science (MFCS 1999). LNCS, vol 1672. Springer, Berlin, pp 220–230CrossRefGoogle Scholar
  69. 69.
    Rice HG (1953) Classes of recursively enumerable sets and their decision problems.Trans Amer Math Soc 89:25–59MathSciNetGoogle Scholar
  70. 70.
    Rosenfeld A (1979) Picture Languages.Academic Press, New YorkMATHGoogle Scholar
  71. 71.
    Rosenstiehl P, Fiksel JR, Holliger A (1972) Intelligent graphs: Networks of finite automata capable of solving graph problems.In: Graph Theory and Computing.Academic Press, New York, pp 219–265Google Scholar
  72. 72.
    Salomaa A (1973) Formal Languages.Academic Press, OrlandoMATHGoogle Scholar
  73. 73.
    Seidel SR (1979) Language recognition and the synchronization of cellular automata.Technical Report 79–02, Department of Computer Science, University of Iowa, Iowa CityGoogle Scholar
  74. 74.
    Seiferas JI (1977) Iterative arrays with direct central control.Acta Inf 8:177–192MathSciNetMATHCrossRefGoogle Scholar
  75. 75.
    Seiferas JI (1977) Linear-time computation by nondeterministic multidimensional iterative arrays.SIAM J Comp 6:487–504MathSciNetMATHCrossRefGoogle Scholar
  76. 76.
    Smith III AR (1970) Cellular automata and formal languages. In: IEEE Symposium on Switching and Automata Theory (SWAT 1970). IEEE Press, New York, pp 216–224CrossRefGoogle Scholar
  77. 77.
    Smith III AR (1971) Cellular automata complexity trade-offs.Inf Control 18:466–482MATHCrossRefGoogle Scholar
  78. 78.
    Smith III AR (1971) Simple computation–universal cellular spaces. J ACM 18:339–353MATHCrossRefGoogle Scholar
  79. 79.
    Smith III AR (1971) Two‐dimensional formal languages and pattern recognition by cellular automata. In: IEEE Symposium on Switching and Automata Theory (SWAT 1971).IEEE Press, New York, pp 144–152CrossRefGoogle Scholar
  80. 80.
    Smith III AR (1972) Real-time language recognition by one‐dimensional cellular automata.J Comp Syst Sci 6:233–253MATHCrossRefGoogle Scholar
  81. 81.
    Smith III AR (1976) Introduction to and survey of polyautomata theory. In: Automata, Languages, Development. North-Holland, Amsterdam, pp 405–422Google Scholar
  82. 82.
    Sommerhalder R, van Westrhenen SC (1983) Parallel language recognition in constant time by cellular automata. Acta Inf 19:397–407MATHCrossRefGoogle Scholar
  83. 83.
    Terrier V (1994) Language recognizable in real time by cellular automata. Complex Syst 8:325–336MathSciNetMATHGoogle Scholar
  84. 84.
    Terrier V (1995) On real time one-way cellular array.Theor Comp Sci 141:331–335MathSciNetMATHCrossRefGoogle Scholar
  85. 85.
    Terrier V (1996) Language not recognizable in real time by one-way cellular automata.Theor Comp Sci 156:281–287MathSciNetMATHCrossRefGoogle Scholar
  86. 86.
    Terrier V (1999) Two‐dimensional cellular automata recognizer. Theor Comp Sci 218:325–346MathSciNetMATHCrossRefGoogle Scholar
  87. 87.
    Terrier V (2003) Two‐dimensional cellular automata and deterministic on-line tesselation automata.Theor Comp Sci 301:167–187MathSciNetMATHCrossRefGoogle Scholar
  88. 88.
    Terrier V (2004) Two‐dimensional cellular automata and their neighborhoods.Theor Comp Sci 312:203–222MathSciNetMATHCrossRefGoogle Scholar
  89. 89.
    Terrier V (2006) Closure properties of cellular automata. Theor Comp Sci 352:97–107MathSciNetMATHCrossRefGoogle Scholar
  90. 90.
    Terrier V (2006) Low complexity classes of multidimensional cellular automata.Theor Comp Sci 369:142–156MathSciNetMATHCrossRefGoogle Scholar
  91. 91.
    Toffoli T (1977) Computation and construction universality of reversible cellular automata.J Comp Syst Sci 15:213–231MathSciNetMATHCrossRefGoogle Scholar
  92. 92.
    Umeo H (2001) Linear-time recognition of connectivity of binary images on 1-bit inter-cell communication cellular automaton.Parallel Comp 27:587–599MathSciNetMATHCrossRefGoogle Scholar
  93. 93.
    Umeo H, Kamikawa N (2002) A design of real-time non-regular sequence generation algorithms and their implementations on cellular automata with 1-bit inter-cell communications.Fund Inf 52:257–275MathSciNetMATHGoogle Scholar
  94. 94.
    Umeo H, Kamikawa N (2003) Real-time generation of primes by a 1-bit‐communication cellular automaton.Fund Inf 58:421–435MathSciNetMATHGoogle Scholar
  95. 95.
    Umeo H, Morita K, Sugata K (1982) Deterministic one-way simulation of two-way real-time cellular automata and its related problems. Inf Proc Lett 14:158–161MathSciNetMATHCrossRefGoogle Scholar
  96. 96.
    Vollmar R (1981) On cellular automata with a finite number of state changes.Computing 3:181–191Google Scholar
  97. 97.
    von Neumann J (1966) Theory of Self‐Reproducing Automata. In: Burks AW (ed) University of Illinois Press, ChampaignGoogle Scholar
  98. 98.
    Waksman A (1966) An optimum solution to the firing squad synchronization problem.Inf Control 9:66–78MathSciNetMATHCrossRefGoogle Scholar
  99. 99.
    Worsch T (2000) Linear time language recognition on cellular automata with restricted communication.In: Theoretical Informatics (LATIN 2000). LNCS, vol 1776. Springer, Berlin, pp 417–426CrossRefGoogle Scholar

Books and Reviews

  1. 100.
    Delorme M, Mazoyer J (eds) (1999) Cellular Automata – A Parallel Model.Kluwer, DordrechtMATHGoogle Scholar

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  • Martin Kutrib
    • 1
  1. 1.Institut für InformatikUniversität GiessenGiessenGermany