Olivier Finkel On Decidability Properties of One-Dimensional Cellular Automata http://arxiv.org/abs/0903.4615 2009 CoRR abs/0903.4615 db/journals/corr/corr0903.html#abs-0903-4615 informal publication