Студопедия

КАТЕГОРИИ:

АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника


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




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

 

SI = <M, F>

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

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

 

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

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

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

 

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

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

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

 

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

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

 

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

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

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

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

 

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

 

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

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


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

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

 

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

 

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

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

 

 

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

 

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

 

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

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

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

 


Поделиться:

Дата добавления: 2015-04-05; просмотров: 65; Мы поможем в написании вашей работы!; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2024 год. (0.008 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты