При дан­ной про­грам­ме РОБОТ по­сту­па­ет сле­ду­ю­щим об­ра­зом: спер­ва РОБОТ про­ве­ря­ет, сво­бод­на ли клет­ка спра­ва или снизу от него. Если это так, то РОБОТ пе­ре­хо­дит к пер­во­му дей­ствию внут­ри цикла. В этом цикле если у ниж­ней сто­ро­ны клет­ки, в ко­то­рой на­хо­дит­ся РОБОТ, нет стены, он дви­га­ет­ся вниз, в про­тив­ном слу­чае, если у пра­вой сто­ро­ны клет­ки нет стены, он пе­ре­ме­ща­ет­ся впра­во. После этого воз­вра­ща­ет­ся к на­ча­лу внеш­не­го цикла.

Про­ана­ли­зи­ро­вав эту про­грам­му, при­хо­дим к вы­во­ду, что РОБОТ не может раз­бить­ся.

Про­ве­рив все клет­ки по вы­ве­ден­но­му нами пра­ви­лу дви­же­ния РО­БО­ТА вы­яс­ня­ем, что число кле­ток, удо­вле­тво­ря­ю­щих усло­вию за­да­чи, равно 12 (клет­ки А4-6, B4-6, C5-6, D5-6, E6, F6).

При­ме­ча­ние. Робот будет на каж­дом новом круге по­сле­до­ва­тель­но про­ве­рять оба усло­вия и вы­пол­нять их, и будет дви­гать­ся "ле­сен­кой" пока это воз­мож­но, а не про­сто спус­кать­ся вниз до пре­пят­ствия, а затем идти впра­во. В част­но­сти, начав дви­же­ние из клет­ки D4, робот будет пе­ре­ме­щать­ся по пути D4—D5—E5—F5.

За­ме­тим, что фраза «робот нач­нет дви­же­ние и оста­но­вит­ся» под­ра­зу­ме­ва­ет, что «робот нач­нет вы­пол­не­ние про­грам­мы и оста­но­вит­ся», при этом робот не обя­за­тель­но будет пе­ре­ме­щать­ся в дру­гую клет­ку.