Sciweavers

FUIN
2002
113views more  FUIN 2002»
13 years 4 months ago
Cellular Automata and Intermediate Reachability Problems
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
Klaus Sutner