Работа некоторого устройства характеризуется графом, представленным на рисунке 1. Должно быть: При этом S0 – исправное состояние, S1, S2, S3 – работоспособные состояния с различными неисправностями, S4 – неработоспособное состояние (состояние отказа).