progr. | source state | начальное состояние (в конечном автомате – состояние, из которого выходит переход. Переход применяется именно к начальному состоянию и может запуститься в том случае, если объект находится либо в этом состоянии, либо в одном из его вложенных состояний ssn) |