СЕМАНТИКА, Схема подпрограммы вычитания - Теория вычислительных процессов

Операционная семантика команды sub al, 1

L1(al)

1

1

0

1

1

0

0

1

#

0

1

1

0

1

1

0

0

#

L2

    1. q01X1 Top1 q11 2. q11X1B1q02 3. q02X2 Top2 q12 4. q12X2 02 q22 5. q22X2 L2 q32 6. q32#2B2q52 7. q32X2 B2 q21 8. q21X11 B1 q31()St1 9. q31X1 L1 q41 10. q41X1 B2 q42 11. q42X2()St1 q22 12. q52X2Top2q51 13. q51S2 Top2 q62 14. q62X2 B2 q72()St1 15. q72X2L2q82 16. q82X1 B1 q61 17. q61X1 ()St1 q71 18. q71X1 L1 q81 19. q81#1 B1 q91 20. q81X1 B2 q62 21. q91S1 Top1 q92 22. q92S2 Top2 q102
Схема подпрограммы вычитания

1. Старт(,,а)

Mov al, adg

Mov di,1

2. i:=b;

Add di, ax

3. ;

Mov cl, adg

4. z:=a;

CLC

5. k:=0;

Mmm:

Mov al, buf1[di]

6. ;

Mov ah, buf2[di]

7. ;

Sbb al, ah

8. ;

Aas

9. ;

Mov buf3[di],al

10. ;

Dec di

11. ;

Loop mmm

12.

Если P(z), то на 13, иначе на 6;

Call VivodRes

13. вывод(x);

14. Стоп

Символов, использующихся в данной схеме:

    Ш переменные:
      - уменьшаемое - вычитаемое

- разность

Ш константы:

A =длина числа;

B =1;

Ш функциональные символы:

- операция увеличения значения на a;

- операция пересылки информации;

- операция:()

- операция преобразования содержимого в неупакованное двоично - десятичное число;

    - операция уменьшения значения на единицу; Ш предикатные символы:

P - предикат "равно 0"

Ш специальные символы:

Старт, стоп, если, вывод

ГрафическОЕ ОБОЗНАЧЕНИЕ

СхемЫ ПОДПРОГРАММЫ вычитания

Похожие статьи




СЕМАНТИКА, Схема подпрограммы вычитания - Теория вычислительных процессов

Предыдущая | Следующая