Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions.