Последовательность вычислений абстрактной машины для языка While. | MetodPro.ru

Реклама на сайте

Последовательность вычислений абстрактной машины для языка While.


36. Последовательность вычислений абстрактной машины для языка While.
Последовательность вычислений
Для заданной последовательности команд c и памяти s последовательность вычислений это или конечная последовательность вида (Г0,Г1... Гk,), состоящая из конфигураций, удовлетворяющих условиям:
a) (везде гамма) Г0 = <c,эпсилон,s>,
b) Гi (трегольник |>) Гi+1, где 0<=i<k
c) Гk – конфигурация, для которой не существует Г такой, что Гk |> Г .
или бесконечная последовательность вида (Г0,Г1,Г2...,), состоящая из конфигураций, удовлетворяющих условиям:
a) Г0 = <c,эпсилон,s>,
b) Гi |> Гi+1, где 0<=i
Пример кода
PUSH-0: STORE-z: LOAD-x: STORE-r:
    LOOP(LOAD-r: LOAD-y: LE,
        LOAD-y: LOAD-r: SUB: STORE-r:
        PUSH-1: LOAD-z: ADD: STORE-z)
В нём вычисляется x div y.
На языке While эта программа имеет вид:
 z:=0; r := x;
while y <= r do (r:=r-y; z:=z+1)



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем