Sciweavers

FUIN
2002
113views more  FUIN 2002»
14 years 6 days 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