IOS Press Cellular Automata and Intermediate Reachability Problems

Abstract

Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability