Транзитивное замыкание
Движение в фазовом пространстве (поток)
Изменение состояния электронной системы
Изменение состояния софтверной системы
Автоматы:
входные символы, вход/выход
Программы:
операторы, условия
Исчисления:
состояния – формулы,
действия – правила вывода
Взаимодействующие распределенные системы:
передача (прием) сообщений
Базы данных
запросы, ответы
Доказательства
Моделирование
+
Системы
Биологические
Бисимуляционная эквивалентность систем
Удаляем скрытые переходы
Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть