- •23. Система переходов Келлера: определение, способы задания. Представление асинхронных процессов.
- •24. Отношение непосредственного следования на множестве состояний системы переходов.
- •25. Свойства потокового отношения (отношения непосредственного следования). Замыкание отношения непосредственного следования. Свойство сходимости системы.
- •Сходимость
- •26. Расширенная функция непосредственного следования. Область задания и область значений.
- •27. Помеченные системы переходов. Алфавит действий и функция пометки. Описание асинхронных процессов, порождаемых помеченными системами.
- •28. Локальные свойства помеченных графов.
- •29. Фундаментальная теорема асинхронных параллельных вычислений Келлера.
- •30. Свойства помеченной системы переходов и глобальные свойства порождающей её системы переходов Келлера.
- •31. Метамодель Варшавского: определение, способы задания. Соглашения по назначению инициаторов и результантов. Представление процессов.
- •32. Основные ограничения на порождаемые асинхронные процессы. Протокол асинхронного процесса.
- •35. Алгебра асинхронных процессов. Одноместные и многоместные операции.
- •36. Параллельные схемы программ Карпа-Миллера.
- •37. Информационный базис. Основные определения и функции.
- •38. Отношение конкуренционной зависимости. Детерминизм системы.
- •39. Определение вычислительного процесса, основные аксиомы.
- •40. Неуправляемые вычислительные процессы над памятью.
- •41. Метамодель Хоара: терминология, основные определения, способы задания.
- •42. Представление асинхронных процессов в метамодели Хоара.
- •43. Операции над процессами в метамодели Хоара.
- •45. Модельная интерпретация и объектные модели. Представление асинхронных процессов в различных объектных моделях.
- •46. Соответствия объектных моделей и метамоделей асинхронных процессов.
- •47. Модельная и предметная интерпретации моделей асинхронных процессов.
- •48. Бинарная система переходов Келлера. Модель системы с рукой-роботом.
23. Система переходов Келлера: определение, способы задания. Представление асинхронных процессов.
Система переходов Келлера – это двойка <S, F>, где S – нек. конечное мн-во символов, которые будем называть состояниями, а F – бинарное отношение на этом множестве.
Любой кортеж на доменом S будет называться процессом, если отношение порядка в этом кортеже будет согласовано с б.о. непосредственного следования F данной системы переходов.
Т.е. представление пр-ссов в этой метамодели – кортежи состояний (вроде как…).
Граф:
24. Отношение непосредственного следования на множестве состояний системы переходов.
F– бинарное отношение непосредственного следования (частный случай порядка)
– бинарное отношение достижимости (транз. замыканиеF)
Свойства б.о. F:
1) Антирефлексивность (если на графе есть петли, то иррефлексивность)
2) Антисимметричность
3) [Транзитивность] (которой может и не быть)
25. Свойства потокового отношения (отношения непосредственного следования). Замыкание отношения непосредственного следования. Свойство сходимости системы.
Свойства бинарного отношения следования:
Антирефлексивность (если на графе появляются петли, то иррефлексивность).
Антисимметричность
[Транзитивность] – т.е. может быть или не быть
Транзитивное замыкание: .
Транзитивное замыкание является бинарным отношением достижимости.
Помеченная система переходов Келлера: четвёрка объектов < S, F, A, λ >, где S = {s1, ..., sn}; F S × S; A = {α, β, γ, ...}; λ: F → A – функция пометки рёбер (не явл. взаимнооднозн. соответствием, но явл. функцией; разные ребра могут иметь одну метку).
(si sj) F si F sj
si →α sj или si (α) sj
Порождающая система всегда одна, а помеченных систем – сколько угодно.
Сходимость
Теорема Рассела-Черча: Если метамодель обладает свойством сходимости, то такая система порождает процессы, приводящие к одному результату.
Эта теорема объясняет, зачем вообще нужно это свойство сходимости: процессы, порождаемые системой, обладающей этим св-вом, приводят к 1-му результату.
Теорема (Келлер): Если асинхронные процессы, порождаемые некоторой метамоделью, обладают локальными свойствами детерминированности, коммутативности и устойчивости, то такая метамодель обладает свойством сходимости.
Св-во лок. детерминированности: si, sj, sk S σ A [ si (σ) sj & si (σ) sk → sj = sk ]
т.к. σ A, то это локальное свойство. si (σ) sj можно записать si → σ sj
Св-во лок. коммутативности: si, sj, sk S σ, π A [ si (σ π) sj F+ & si (π σ) sk F+ → sj = sk ]
Св-во устойчивости: si, sj, sk S σ, π A sm S [ si (σ) sj F & si (π) sk F → si (π σ) sm F+ ]
Считается, что у si потенциально разрешены два действия: π и σ. Мы рассматриваем вариант, когда выполняется π. Выполнение одного из разрешенных действий не снимает разрешение с остальных действий.
Теорема (сходимости Келлера):
Система переходов <S,F> некоторой помеченной системы <S,F,A,D> является сходящейся т. и т.т., к. помеченная система переходов обладает свойствами локальной детерминированности, локальной коммутативности и устойчивости.