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