Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Обратная связь

Презентация на тему Современные проблемы информатики

Содержание

2. Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain
3. Алгебра поведенийДва сорта: U – поведенияA –
4. Монотонность
5. НепрерывностьНаправленное множествоНаименьшая верхняя граньНепрерывность
6. Монотонность следует из непрерывности
7. Поведение есть элемент алгебры поведений^DDDaababaaa.(a+b+^)+b.a.(a+a.0) a. D = a
8. Как построить алгебру всех поведений произвольных систем
9. Алгебра конечных поведений Ffin(A)Порождается терминальными константами 0, Состоит из выражений в сигнатуре +, (().())Отношение аппроксимации:
10. Каноническая формаI – конечное множество индексов,Если все
11. Критерий аппроксимацииИндукция по высоте u
12. Ffin(A) есть инициальная алгебра поведенийАнтисимметричность(индукция) Свободные алгебры поведений Ffin(A,X)
13. Алгебра поведений конечной высотыI произвольное множество (может быть пустое) Критерий аппроксимации – определение. Операции:
14. Полная алгебра поведений F(A)Элементы: классы эквивалентности направленных
15. Каноническая форма в алгебре F(A)Такое представление единственно, если все различны
16. Теорема о неподвижной точкеДобавление переменных:
17. Скачать презентацию
18. Похожие презентации

Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP with recursion (J.A.Bergstra and J.W.Klop, 1984)3.Coalgebraic approach (P.Aczel, 1988, later B.Jecobs and J.Rutten) 4.Continuous algebras (A.Letichevsky,D.Gilbert,1997)В теории автоматов: Автомат есть транзиционная

Главная
Информатика
Современные проблемы информатики

Современные проблемы информатики Лекция 2 Алгебра поведений

Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP with

Алгебра поведенийДва сорта: U – поведенияA – действияСигнатура:префиксинг a.uнедетерминированный выбор u +

НепрерывностьНаправленное множествоНаименьшая верхняя граньНепрерывность

Поведение есть элемент алгебры поведений^DDDaababaaa.(a+b+^)+b.a.(a+a.0) a. D = a

Как построить алгебру всех поведений произвольных систем над множеством действий А?Алгебра конечных

Алгебра конечных поведений Ffin(A)Порождается терминальными константами 0, Состоит из выражений в сигнатуре +, (().())Отношение аппроксимации:

Каноническая формаI – конечное множество индексов,Если все ai. ui различны и ui

Критерий аппроксимацииИндукция по высоте u

Ffin(A) есть инициальная алгебра поведенийАнтисимметричность(индукция) Свободные алгебры поведений Ffin(A,X)

Алгебра поведений конечной высотыI произвольное множество (может быть пустое) Критерий аппроксимации – определение. Операции:

Полная алгебра поведений F(A)Элементы: классы эквивалентности направленных множеств поведений конечной высотыОт классов

Каноническая форма в алгебре F(A)Такое представление единственно, если все различны

Теорема о неподвижной точкеДобавление переменных:

Следующая лекция Поведение транзиционных системТранзиционная система => поведение => транзиционная система

Слайды презентации

Слайд 2 Что такое поведение?
(инвариант бисимуляционной эквивалентности)
1.Domain theory

Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP

approach (S.Abramsky 1991)
2.ACP with recursion (J.A.Bergstra and J.W.Klop, 1984)
3.Coalgebraic

approach (P.Aczel, 1988, later B.Jecobs and J.Rutten)
4.Continuous algebras (A.Letichevsky,D.Gilbert,1997)

В теории автоматов:
Автомат есть транзиционная система, размеченная парами вход/выход
Поведение есть автоматное отображение
Или
Автомат есть настроенная транзиционная система, размеченная
входными символами
Поведение есть язык

Слайд 3 Алгебра поведений
Два сорта:
U – поведения
A –

действия
Сигнатура:
префиксинг a.u
недетерминированный выбор u + v
константы D, 0, ^
отношение

аппроксимации
Аксиомы:
аci для недетерминированного выбора
0 есть нейтральный элемент недетерминированного выбора
есть отношение частичного порядка с наименьшим элементом ^
Обе операции монотонны и непрерывны (сохраняют наименьшие верхние грани)

Дополнительные структуры:
Действия: комбинация действий ´ , невозможное и нейтральное действия
Атрибуты: функции на поведениях

Слайд 4 Монотонность

Слайд 5 Непрерывность
Направленное множество
Наименьшая верхняя грань
Непрерывность

Слайд 6 Монотонность следует из непрерывности

Слайд 7 Поведение есть элемент алгебры поведений
^
D
D
D
a
a
b
a
b
a
a
a.(a+b+^)+b.a.(a+a.0)

a. D = a

Слайд 8 Как построить алгебру всех поведений произвольных систем над

множеством действий А?
Алгебра конечных поведений
Алгебра поведений конечной высоты
Алгебра бесконечных

поведений

Слайд 9 Алгебра конечных поведений Ffin(A)
Порождается терминальными константами 0,
Состоит

из выражений в сигнатуре +, (().())
Отношение аппроксимации:

Слайд 10 Каноническая форма
I – конечное множество индексов,
Если все ai.

Каноническая формаI – конечное множество индексов,Если все ai. ui различны и

ui различны и ui представлены в такой же
форме, то

представление u единственно с точностью до
коммутативности недетерминированного выбора.

Индукция по высоте терма h(u)

u сходится, если

и расходится в противном случае

Слайд 11 Критерий аппроксимации
Индукция по высоте u

Слайд 12 Ffin(A) есть инициальная алгебра поведений
Антисимметричность
(индукция)

Свободные алгебры

поведений Ffin(A,X)

Слайд 13 Алгебра поведений конечной высоты
I произвольное множество (может быть

пустое)
Критерий аппроксимации – определение. Операции:

Слайд 14 Полная алгебра поведений F(A)
Элементы: классы эквивалентности направленных
множеств

Полная алгебра поведений F(A)Элементы: классы эквивалентности направленных множеств поведений конечной высотыОт

поведений конечной высоты
От классов к представителям.
Предел направленного множества

направленных множеств = их объединение.
Бесконечные суммы:

Слайд 15 Каноническая форма в алгебре F(A)
Такое представление единственно, если

все различны

Слайд 16 Теорема о неподвижной точке
Добавление переменных:

- Предыдущая Циклические алгоритмы

Следующая - Реклама в видеоиграх

Моделирование 3-х мерных объектов. Каркасное и твердотельное моделирование. (Лекция 5) 186

Презентация Лидер 21 века 167

Презентация по информатике Переход от неформального описания алгоритмов к формальному, созданная учеником 199

Интеллект-шоу по информатике 124

Информационная революция 190

Использование мультимедийных возможностей при разработке приложений 154

Сетевые функции ОС 177

klaviatura 182

Двоичная система счисления 117

Компьютерные вирусы. Антивирусные программы. 134

Как уменьшить поток СПАМа 135

Видеохостинг YouTube 97

Презентация по информатике на тему Набор и редактирование текста. (5 класс) 133

Презентация на тем Устройства вывода информации 140

Здоровьесбережение детей дошкольного возраста презентация 141

Призентация по информатике на тему: Защита от несанкционированного доступа информации 150

Диаграмма прецедентов в UML 125

График функции с точкой разрыва. 110

Презентация по информатике на тему Программирование на языке Бейсик. Команды оператора DRAW 139

Компьютер 101

Модель. Моделювання. (Лекция 2) 131

Кэш Память 143

День безопасного Рунета 128

Работа с графическими фрагментами. Часть 2 153

Что такое findslide.org?

Обратная связь

Презентация на тему Современные проблемы информатики

Содержание

Слайд 2 Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory

approach (S.Abramsky 1991)2.ACP with recursion (J.A.Bergstra and J.W.Klop, 1984)3.Coalgebraic

Слайд 3 Алгебра поведенийДва сорта: U – поведенияA –

действияСигнатура:префиксинг a.uнедетерминированный выбор u + vконстанты D, 0, ^отношение

Слайд 4 Монотонность

Слайд 5 НепрерывностьНаправленное множествоНаименьшая верхняя граньНепрерывность

Слайд 6 Монотонность следует из непрерывности

Слайд 7 Поведение есть элемент алгебры поведений^DDDaababaaa.(a+b+^)+b.a.(a+a.0)

a. D = a

Слайд 8 Как построить алгебру всех поведений произвольных систем над

множеством действий А?Алгебра конечных поведенийАлгебра поведений конечной высотыАлгебра бесконечных

Слайд 9 Алгебра конечных поведений Ffin(A)Порождается терминальными константами 0, Состоит

из выражений в сигнатуре +, (().())Отношение аппроксимации:

Слайд 10 Каноническая формаI – конечное множество индексов,Если все ai.

ui различны и ui представлены в такой жеформе, то

Слайд 11 Критерий аппроксимацииИндукция по высоте u

Слайд 12 Ffin(A) есть инициальная алгебра поведенийАнтисимметричность(индукция) Свободные алгебры