Контрольная работа: Запись информации на магнитный носитель
(подходит, так как ситуации принадлежат S*)
(не подходит, т.к. 
не принадлежат S*)
(не подходит)
(не подходит)
(не подходит)
Образуем множество S(X*)={ 
}, I(X*)={
},R(X*)= {
}
F(X*):
Вывод: построив редукцию данного процесса по выбранным значениям входной компоненты, мы упростили процесс и рассмотрели только ту часть его, в которой складывается ситуация нехватки места на диске. В итоге получаем одну ветвь процесса, в которой фиксируется ошибка и код ее заносится в регистр ошибок.
5.3 Композиция
Обозначим исходный процесс как P2. Для него имеем:
S2={ 
}I2={
}R2={ 
}
Рассмотрим новый процесс P1, состоящий из следующих компонент:
| 178.N | 179.Обозначение | 180.Описание |
| 181.1 | 182.K | 183.Контроллер дисковода |
| 184.2 | 185.P | 186.Дисковод работает. Есть электропитание (P+) |
| 187.3 | 188.D | 189.Диск вставлен в дисковод (D+) |
 |
| 190.Ситуация | 191.K | 192.PW | 193.D |
| 194.S1 | 195.1 | 196.1 | 197.0 |
| 198.S2 | 199.1 | 200.1 | 201.1 |
Для процесса P1 имеем: S1={ 
}I1={ }R1={ 
}
Построим последовательную композицию процессов P1 и P2.
Х*={1}
Построим редукцию процесса P2 по X*.
S2*={ 
}
Траектории:
(подходит)
(подходит)
(подходит)
(подходит)
(подходит)
Следовательно: S2 (X*) = { } I2 (X*) = { } R2 (X*)= { 
}
Далее построим редукцию процесса P1 по X*.
S1*={ }