Что есть состояние? Почему ему противопоставляют неизменяемость?
На мой взгляд,
Состояние — это значения всех характеристик процесса в определенный момент времени.
Первичной характеристикой процесса являются его участники.
При нулевом количестве участников состояние не изменяется.
Так сказать стазис.
Можем ли мы поймать состояние в программной модели?
Как измерить характеристики процесса?
Вероятно через наблюдение (событийная модель).
Не вносит ли своим присутствием наблюдатель изменений в состояние процесса?
В каждый такт мы можем реально отследить значение лишь одной характеристики.
Но даже в этом случае полагаться на это значение нельзя, т.к. состояние на следующем такте уже другое.
Как быть?