Современные проблемы информатики Лекция 3 Поведение транзиционных систем Обогащения алгебры поведений

2 Транзиционная система => поведение => транзиционная система a b a a b a a b a a ab a ab a ab … … u

3 Отношение аппроксимации на состояниях транзиционных систем Частичная бисимуляция (аппроксимирует), если существует частичная бисимуляция …

4 Поведение транзиционных систем S – транзиционная система, определяется, как наименьшее решение системы

5 Поведения как состояния транзиционной системы Множество называется транзиционно замкнутым, если Множество U есть транзиционная система:

6 Теорема частичный порядок

7 Приведение транзиционных систем Состояние => поведение Алгоритм приведения Для конечных систем

8 Для бесконечных систем По теореме Тарского

9 Пример ?

10 Обогащения алгебры поведений

11 (u;v)=uv

12

13

14 интерливинг синхронизация

15 бисимуляция

16 Явное определение параллельной композиции

17 CCS Алгебра действий: Алгебра поведений (процессов): Обогащение алгебры поведений:

18 Calculus of Communicated Processes

19 CSP