Induction and restriction of cellular automata