38. Отношение конкуренционной зависимости. Детерминизм системы.

b, c  F

  F x F – отношение конкуренционной зависимости

( in(b)  out(c) )  ( out(b)  in(c) )  ( out(b)  out(c) )   => (b, c)

Если операторы bиcне находятся в отношении конкуренционной зависимости, то их можно поменять местами. Следовательно, получаем 1 и тот же результат, вне зависимости от того, в каком порядке в процессе записаны эти операторы.

Отсюда и детерминизм– свойство, при котором результат не зависит от порядка операторов.

39. Определение вычислительного процесса, основные аксиомы.

Выч. процессом Хнад инф. базисом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 >.

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

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>. В качестве домена выступает.

 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 >.

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

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