Several techniques have been proposed to cope with odometer limitations.
They also construct an infinite odometer with some additional properties that is not 2-recurrent.
It is a two-point extension of an odometer.
Step odometer up by one and change signs except if there is an odd number of initial twos in which case the sign remains unchanged.
If all of them are finite, then the system is an odometer and has only rational eigenvalues.
This problem is the same as the cumulative errors of the odometer.
Even if the odometer gives an inaccurate robot position, it is possible to locate the robot and to get through the door.
An action which is not orbit-equivalent to any product odometer action is said to be of non-product type.
