Algebraic conditions for state equivalence to a discrete-time nonlinear observer canonical form.