Парадигмы программирования



         

Базовые понятия - часть 2


Это обеспечивается следующими договоренностями:

  • элементарные действия исполняются мгновенно,
  • протяженное действие: всегда пара событий - начало и конец,
  • нет точной привязки действий к моменту времени,
  • определены отношения "раньше-позже", "одновременно", "независимо",
  • совместность событий понимается как отношение "синхронизация",
  • одно событие из независимых возникает в любом порядке, без причинно-следственной связи.

Если известно, что процесс P может произойти вслед за событием x, влекущим этот процесс, то событие x называют префиксом процесса P.

x -> P -- P за x

Обычно для решения конкретной задачи вводится специальный объект - автомат, способный реагировать на определенное множество событий в зависимости от состояния автомата.

Поведение объекта, который способен действовать, можно описать в виде системы правил, внешне похожих на уравнения. Решением такой системы уравнений являются процессы, которые может выполнить автомат.

Пример 6.1. Рассмотрим автомат, установленный в здании НГУ на 4-ом этаже, продающий кофе.

Торговый автомат: {деньги, кофе} (деньги => ( кофе => автомат ) )

- нет кофе без денег - нет двойных порций

сломанный автомат - нет кофе

(деньги => СТОП )

- нет действий = нет событий

Пример 6.2. [25] Рассмотрим простые задачи типа перемещения фишки на клетчатой доске по свободным позициям.

X   
O X

На данной доске фишка может двигаться лишь вправо или вверх. При множестве событий - { враво, вверх } правильный процесс можно специфицировать как:

( враво вверх вправо => СТОП )

Пример 6.3. [25] Простейшая модель часов - типовой пример рекурсивного описания процессов.

Часы: { тик-так }

(тик-так - часы) - рекурсия

Пример 6.4. [25] Небольшое изменение разрешенных позиций на клетчатой доске показывает возможность выбора вариантов хода событий при выполнении процессов. Появляется понятие "меню".

X  
O

( вверх => СТОП | вправо вправо вверх СТОП )

| - представление вариантов в меню процесса




Содержание  Назад  Вперед