Неуправляемые вычислительные процессы над памятью.

S = < S_I, S_C >, где S_I – информационный базис; S_C – управляющий автомат.

S_I = <M, F>

M = {x, y, z, ...} – конечное множество неких абстрактных символов, которые на этом уровне интерпретируются как некоторые переменные или ячейки.

F = {b, c, d, ...} - конечное множество неких абстрактных символов, их мы ассоциируем с неким множеством операторов.

Определить информационный базис значит задать эти два множества и еще ряд дополнительных множеств и функций:

5) символы запуска соответствующего оператора на выполнение:
= { , , ....} // |F| = | |

6) Для каждого оператора b Î F существует (определено) множество Σ_b:
b Î F [Σ_b = { b_j1, b_j2, ..., b_jk } ]
//Любой оператор b Î F [|Σ_b | > 1] называется распознавателем.
Тогда для всего информационного базиса: Σ = , где Σ – множество символов завершения операторов.

I: F → M b Î F [ in(b) M ]

O: F → M b Î F [ out(b) M ]

in( ) и out( ) – входная и выходная функции оператора. Обе они в частном случае могут быть пустыми (например, у оператора вывода).

Выч. процессом Х над инф. базисом S_I = < M, F > называется кортеж <x₁, ..., x_n>. В качестве домена выступает È S.

" x_i Î X [ x_i Î Å x_i Î S ].

Должны выполняться след. условия:

// _iX – это префикс кортежа Х до i-го элемента включительно

1. " x_i Î X $x_k Î _iX [ x_i = b_j => x_k = ] – не может быть выч. процесса, в котором есть символы завершения, но нет символов запуска.

2. " i " b Î F [ #( , _iX) ³ #(b_j, _iX) ] – символов запуска в любом префиксе должно быть не меньше, чем символов завершения.

" кортеж над доменом È S, для которого выполняются эти 2 аксиомы, называется выч. процессом над инф. базисом S_I = < M, F >.

Почему над памятью? Да потому что in и out оператора представляют собой некие ячейки памяти.

Почему неуправляемый? Потому что нет намека на механизм выбора и запуска, если не вводим в рассмотрение управляющую компоненту S_C, а ее нет.

41. Метамодель Хоара: терминология, основные определения, способы задания.

Алфавит – множество имен событий, выбранных для конкретного описания объекта.

Процесс – обозначение поведения объекта, оно может быть описано в терминах ограниченного набора событий, выбранного в качестве его алфавита.

Процесс (по Красюку) – это кортеж действий.

Протокол (по Красюку) есть процесс.

Если Красюку этого будет мало или если он скажет, что это неправильно, то толкаем следующее ниже.

В метамодели Хоара процесс представляет собой кортеж действий.

Префиксы. Пусть х – событие, а Р – процесс. Тогда запись ( х -> Р ) обозначает объект, который сначала участвует в событии х, а затем ведёт себя точно как Р. Процесс ( x -> P ) имеет по определению тот же алфавит, что и Р.

Рекурсия. Описывается с помощью «префиксной» записи: Р = ( х -> Р ).

Выбор. ( x -> P | y -> Q ). Порядок записи не важен!