Главная » Теория вычислительных процессов » 9. Диаграмма переходов. Конфликтная ситуация. Полумодулярная диаграмма переходов.
Диаграмма переходов. Конфликтная ситуация. Полумодулярная диаграмма переходов.
|
![]() |
|
k-я компонента ситуации si называется возбужденной «*», если siFsj при некотором F и k-е компоненты ситуаций si и sj различны; иначе компонента называется устойчивой.
Функционирование ДП состоит в переходе компонент из возбужденного состояния в устойчивое в результате смены ситуаций.
Ситуацию si диаграммы переходов (ДП) будем называть конфликтной, если существуют компонента sik и ситуация sj такие, что: 1) компонента sik помечена символом «*»;
siFsj, причем sik =sjk;
компонента sjk символом «*» не помечена.
Примеры конфликтных ситуаций: 0*01*01* → 10100, 0*00*01* → 10000
Полумодулярной ДП называют ДП без конфликтных ситуаций.
Редукция диаграммы переходов
Редукцию ДП можно осуществить по множеству ситуаций, порожденному теми или иными компонентами ситуаций.
В этом случае сначала из всего множества ситуаций S оставляют те, входные компоненты которых попали в выделенное множество значений входной компоненты X*. Таким образом, получаем множество ситуаций S*. Далее редукция строится по полученному множеству ситуаций S*.
Первые два элемента вектора полного состояния выберем в качестве входных компонент, последние два – в качестве выходных компонент.
Оглавление книги открыть закрыть
1. Понятие дискретной динамической системы.
2. Дискретное время. Дискретная информация.
3. Понятие асинхронного процесса, его траектория. Максимальная траектория.
4. Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности.
5. Асинхронный процесс
6. Конвейерный принцип обработки информации
7. Редукция асинхронного процесса. Свойства редукции
8. Структурирование ситуаций асинхронного процесса
9. Диаграмма переходов. Конфликтная ситуация. Полумодулярная диаграмма переходов.
10. Основная идея теории комплектов, сравнение с теорией множеств. Свойства комплектов
11. Структура сетей Петри. Граф сети Петри.
11.1 Решение задачи покрываемости и достижимости сетей Петри на основе дерева достижимости.
11.2 Решение задачи достижимости с помощью матричного подхода.
8. Структурирование ситуаций асинхронного процесса « | » 10. Основная идея теории комплектов, сравнение с теорией множеств. Свойства комплектов
![]() |
|
![]() |
![]() |
|
![]() ![]() ![]() |