Algorithm of a manipulating robot movement in an environment with unknown obstacles

An algorithm is presented for a manipulating robot (MR) control in an unknown static environment. A theorem is proved stating that following the algorithm the MR in a finite number of steps will either reach a target configuration or come to the proved conclusion that the target configuration may not be reached. Given sequences from the theorem facilitating the MR functioning in the unknown environment.