Theory and Applications of Models of Computation: 4th International ... A Time Hierarchy Theorem for Nondeterministic Cellular Automata User slackermanz, in the Cellular Automata subreddit, 10 Dec 2014