Вы­яс­ним, что не­об­хо­ди­мо, чтобы РОБОТ оста­но­вил­ся в той же клет­ке, с ко­то­рой он начал дви­же­ние. Про­грам­ма за­кан­чи­ва­ет­ся ко­ман­дой "ПОКА < спра­ва сво­бод­но > впра­во", сле­до­ва­тель­но, для того, чтобы робот оста­но­вил­ся в той же клет­ке, с ко­то­рой он начал дви­же­ние, не­об­хо­ди­мо, чтобы у этой клет­ки была стен­ка спра­ва (усло­вие 1). Этому усло­вию удо­вле­тво­ря­ют все клет­ки пра­вой стен­ки ла­би­рин­та и еще пять кле­ток кроме нее.

Пред­по­след­няя ко­ман­да: "ПОКА < свер­ху сво­бод­но > вверх", зна­чит, у клет­ки в ко­то­рой он пре­кра­тит вы­пол­не­ние долж­но быть огра­ни­че­ние стен­кой свер­ху. Кроме того, робот, пре­кра­тив вы­пол­не­ние этой ко­ман­ды, дол­жен ока­зать­ся на одной строч­ке с клет­кой, с ко­то­рой он начал дви­же­ние (усло­вие 2).

Кле­ток, удо­вле­тво­ря­ю­щих усло­ви­ям 1 и 2, всего две: Г3 и Д1, если ну­ме­ро­вать циф­ра­ми свер­ху вниз, а бук­ва­ми слева на­пра­во. Пред­ста­вив себе дви­же­ние ро­бо­та в том слу­чае когда он стар­ту­ет из этих кле­ток, уви­дим, что в них он и вер­нет­ся.