Состояние действия (action state) является состоянием с некоторым входным действием и по крайней мере одним выходящим из состояния переходом .
Этот переход неявно предполагает, что входное действие уже завершилось.
Состояние действия не может иметь внутренних переходов, поскольку оно является элементарным.
Обычное использование состояния действия заключается в моделировании одного шага выполнения алгоритма (процедуры) или потока управления.