Cellular automata and intermediate reachability problems

Fundamenta Informaticae

Volumn 52, Issue 1-3, 2002, Pages 249-256

  Sutner, K ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

Cellular automata; Confluence problem; Intermediate degrees

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SIMULATION; DECISION MAKING; HEURISTIC METHODS; PROBLEM SOLVING; RECURSIVE FUNCTIONS;

CELLULAR AUTOMATA;

AUTOMATA THEORY;

EID: 0036763235     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)

1. Baldwin, J.T., Shelah, S.: On the Classifiability of Cellular Automata, Theoretical Computer Science, 230(1-2), 2000, 117-129.
2. Davis, M.: A note on universal Turing machines, Princeton University Press, 1956, 172-175.
3. Culik, K., Yu, S.: Cellular Automata, ωω-regular Sets, and Sofic Systems, Discrete Applied Mathematics, 32, 1991, 85-101.
4. Lerman, M.: Degrees of Unsolvability, Perspectives in Mathematical Logic, Springer Verlag, 1983.
5. Shepherdson, J.C.: Machine Configuration and Word Problems of Given Degree of Unsolvability, Zeitschrift f. Math. Logik u. Grundlagen d. Mathematik, 11, 1965, 149-175.
6. Shoenfield, J.R.: Mathematical Logic, Addison Wesley, 1967.
7. Soare, R.I.: Recursively Enumerable Sets and Degrees, Perspectives in Mathematical Logic, Springer Verlag, 1987.
8. Sutner, K.: A note on Culik-Yu classes, Complex Systems, 3(1), 1989, 107-115.
9. Sutner, K.: Classifying Circular Cellular Automata, Physica D, 45(1-3), 1990, 386-395.
10. Sutner, K.: De Bruijn Graphs and Linear Cellular Automata, Complex Systems, 5(1), 1991, 19-30.
11. Sutner, K.: The Complexity of Finite Cellular Automata, Journal of Computer and Systems Sciences, 50(1), 1995, 87-97.
12. Sutner, K.: Cellular Automata and Intermediate Degrees, To appear in TCS.
13. Wolfram, S.: Computation Theory of Cellular Automata, Comm. Math. Physics, 96(1), 1984, 15-57.
14. Wolfram, S.: Universality and Complexity in Cellular Automata, Physica D, 10, 1984, 1-35.
15. Wolfram, S.: Private communication, 1999.
16. Wolfram, S.: A New Kind of Science, Wolfram Media, 2002.
17. Yaku, T.: The Constructibility of a Configuration in a Cellular Automaton, Journal of Computer and Systems Sciences, 7, 1973, 481-496.