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

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

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