Здесь x, y, z описывают состояния только лампочек.

Граф переходов обобщенных состояний будет выглядеть так:

Детализируем обобщенные состояния, каждое из которых имеет по три группы переходов, на примере пары состояний S_xy2 и S_2y2 детализация будет выглядеть так:

1. Граф состояний описывается в «модели» в виде матрицы, число строк которой равно числу состояний графа состояний, а число столбцов – числу событий без события «старт». Элементами матрицы являются новые состояния графа S_старое ”И” E_{событие} -> S_новое, если в каком-либо состоянии S_старое произошло событие E_{событие}. Для задания соответствия строк матрицы и состояний модели последние перенумеровываются в произвольном или в сортированном порядке.

В примере

№ строки: 0 1 2 3 4  31

Состояние: 00000 01001 10000 11111 00002 … 11222

1. Реализовать алгоритм работы обработки событий от «движка» как изменение состояния по матрице переходов.
2. Специфицировать свойства «модели», задающие параметры ПрО, перечисленные в задании (Т1,Т2,L1,L2,L3).
3. Специфицировать и сделать реализацию слота(ов), принимающих значения параметров ПрО от «интерфейса».
4. Специфицировать сигнал(ы), передающие состояния объектов ПрО на отображение в «интерфейс», учитывая что каждому состоянию модели состояний соответствуют различные состояния объектов ПрО.
5. Специфицировать сигнал(ы), передающие значение заданного параметра «модели» для «статистика». (переходы из состояния, где Л2 горит, в состояние, где Л2 – не горит, и наоборот)