Зертханалық жұмыс

Көрсетілген бағдарлама жұмысты аяқтайтының дәлелдеу керек (соңғы бұтақтын қайсысында болсын).

Бұтақты айналудағы есепті шығар, егер де біз барлық төбелер өңделетінің қаласақ (парақтар ғана емес).

1. 
   (а) –тен түбірге баратын жол ( тен төмен);
   
2. 
   (б) -ке баратын жолдан солға бұрылу (-те солға қарай);
   
3. 
   (в) арқылы өту( над -тен -ға);
   
4. 
   (г) жолдан оңға -ке бұрылу (-тен –ға қарай);
   

(ОНЛ) барлық төбелер төмен және солға орналасқан;

(ОНЛН) барлық төбелер төмен, солға және үстінде орналасқан.
Бағдарлама осындай болады:
procedure тірелгенге дейін және жоғары;

| {берілген: (ОНЛ), керек: (ОНЛН)}

begin

| {инвариант: ОНЛ}

| |өңдеу;

| | жоғары солға;

| end

| өңдеу;

end;
Негізгі алгоритм:

берілді: Робот түбірде , ештене өңделген жоқ

керек: Робот түбірде, барлық төбелер өңделген

{ОНЛ}

тірелгенге дейін жоғары және өңдеу;

while төменде барdo begin

| if оң жақта барthen begin {ОНЛН, оң жақта бар}

| |оңға;

| | тірелгенге дейін жоғары және өңдеу;;

| end else begin

| | {ОЛН,оң жақта емес, төменнен}

| | төмен;

| end;

{ОНЛН, Робот түбірде => барлық төбелер өңделген }