36. Параллельные схемы программ Карпа-Миллера.

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

S_I = <M, F>

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

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

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

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

2. Для каждого оператора 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>. В качестве домена выступает.

 x_iX[x_ix_i].

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

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

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

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

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

Неформально:

Схемы программ Карпа-Миллера называются параллельными, т.к. из вышесказанного следует, что какая-то операция может начаться до того, как завершилась предыдущая (когда в кортеже символ запуска второй операции идёт до символа завершения первой), а отсюды мы получаем параллельное (думаю, слово «одновременное» произносить не стоит ;)) выполнение операций.

37. Информационный базис. Основные определения и функции.

S= <S_I,S_C>

S_I– информационная компонента (информационный базис)

S_C – управляющая компонента

Основные концепции управления:

- автоматная

- сетевая

Автоматная концепция: q’ =δ(g,x)

y=λ(g,x) – пара функций автомата

φ:X* →Y* - отображение кортежей на входе в кортежи на выходе

Сетевая концепция:

Сети Петри: μ’ = δ(μ,tj) – функция следующего состояния

S_I = <M, F>

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

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

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

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

4. Для каждого оператора 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( ) – входная и выходная функции оператора. Обе они в частном случае могут быть пустыми (например, у оператора вывода).

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