Title: Decision problems concerning cellular automata