Можно ли представить параллельное нахождение системы в нескольких состояниях с помощью диаграммы конечных автоматов?