Что такое findtheslide.com?

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


Для правообладателей

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

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Презентация на тему Современные проблемы информатики, из раздела: Информатика. Эта презентация содержит 17 слайда(ов). Информативные слайды и изображения помогут Вам заинтересовать аудиторию. Скачать презентацию на данную тему можно внизу страницы, поделившись ссылкой с помощью социальных кнопок. Также можно добавить наш сайт презентаций в закладки! Презентации взяты из открытого доступа или загружены их авторами, администрация сайта не отвечает за достоверность информации в них. Все права принадлежат авторам презентаций.

Слайды и текст этой презентации Открыть в PDF

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

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


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

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

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 + vконстанты Δ,
Текст слайда:

Алгебра поведений

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

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


Слайд 4
Монотонность
Текст слайда:

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


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

Непрерывность

Направленное множество

Наименьшая верхняя грань

Непрерывность



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

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



Слайд 7
Поведение есть элемент алгебры поведений⊥ΔΔΔaababaaa.(a+b+⊥)+b.a.(a+a.0)       a. Δ = a
Текст слайда:

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










Δ

Δ

Δ

a

a

b

a

b

a

a

a.(a+b+⊥)+b.a.(a+a.0)

a. Δ = a


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

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

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


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

Алгебра конечных поведений Ffin(A)

Порождается терминальными константами 0,

Состоит из выражений в сигнатуре +, (().())

Отношение аппроксимации:


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

Каноническая форма

I – конечное множество индексов,

Если все ai. ui различны и ui представлены в такой же
форме, то представление u единственно с точностью до
коммутативности недетерминированного выбора.

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

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
Следующая лекция Поведение транзиционных системТранзиционная система => поведение => транзиционная система
Текст слайда:

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

Транзиционная система => поведение => транзиционная система