Различные функции абстрактной машины

В первом случае включение в программную машину ресурсов, представляющих состояние процесса, необязательно (их включение в машину выполняется с помощью СОММОМ-блоков;), во втором же случае программная машина должна иметь возможность управлять переменным числом представлений состояний процессов. Управление ресурсами и управление различными процессами становятся, несомненно, отдельными задачами. Различные функции абстрактной машины сводятся или к изменению состояния процесса или к обеспечению «порождающего процесса» информацией, являющейся функцией определенных входных параметров и текущего состояния. В символическом виде можно записать, что, по определению, функция абстрактной машины: = (и, V, состояние), где и — множество функций и управления или обслуживания, которые изменяют состояние; состояние: = и (состояние, входные данные), а V обозначает множество функций V присваивания значений, таких как выходные данные: = V (состояние, входные данные). Как уже упоминалось выше, всякий раз, когда для параллельных процессов Р. необходимо использовать инструментальные программные средства, во входных данных должна быть ссылка на состояние конкретного процесса Рк. Следовательно, входные данные: = (данные, идентифицирующие процесс Рк, другие входные данные).

Releated Post

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Этот сайт использует Akismet для борьбы со спамом. Узнайте как обрабатываются ваши данные комментариев.