PPt4Web Хостинг презентаций

Главная / Информатика / Современные проблемы информатики
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

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


Скачать эту презентацию

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


Скачать эту презентацию

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

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

№ слайда 2 Что такое поведение? (инвариант бисимуляционной эквивалентности) В теории автома
Описание слайда:

Что такое поведение? (инвариант бисимуляционной эквивалентности) В теории автоматов: Автомат есть транзиционная система, размеченная парами вход/выход Поведение есть автоматное отображениеИли Автомат есть настроенная транзиционная система, размеченная входными символами Поведение есть язык 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)

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

Алгебра поведений Два сорта: <U, A>U – поведенияA – действияСигнатура:префиксинг a.uнедетерминированный выбор u + vконстанты D, 0, ^отношение аппроксимацииАксиомы:аci для недетерминированного выбора0 есть нейтральный элемент недетерминированного выбора есть отношение частичного порядка с наименьшим элементом ^Обе операции монотонны и непрерывны (сохраняют наименьшие верхние грани) Дополнительные структуры: Действия: комбинация действий ´ , невозможное и нейтральное действия Атрибуты: функции на поведениях

№ слайда 4 Монотонность
Описание слайда:

Монотонность

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

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

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

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

№ слайда 7 Поведение есть элементалгебры поведений
Описание слайда:

Поведение есть элементалгебры поведений

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

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

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

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

№ слайда 10 Каноническая форма I – конечное множество индексов, и расходится в противном слу
Описание слайда:

Каноническая форма I – конечное множество индексов, и расходится в противном случае Если все ai. ui различны и ui представлены в такой жеформе, то представление u единственно с точностью докоммутативности недетерминированного выбора. Индукция по высоте терма h(u)

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

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

№ слайда 12 Ffin(A) есть инициальная алгебра поведений Свободные алгебры поведений Ffin(A,X)
Описание слайда:

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

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

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

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

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

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

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

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

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

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

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

Скачать эту презентацию

Презентации по предмету
Презентации из категории
Лучшее на fresher.ru