A Mining a Class of Decision Problems for One-dimensional Cellular Automata