я кажется понял о чем ты.
вдобавок к
этому сообщению прилагаю схему.
У нас есть вот такой автомат. Стрелками обозначены возможные переходы (например, можно перейти из «A» в «B», но нельзя из «C» сразу в «A»).
Из того, что я понял, ты хочешь находясь в состоянии «C» вернуться куда нибудь в «A», а закончив с «A», продолжить путь с точки развилки, то есть произвести переход «C-D» (или же более полно: «C-A-D»). Нет. Не забываем, что мы находимся в автомате, где четко и конечно определены возможные состояния, и описаны все переходы.
Условно, допустим, что у нас есть возможность возврата на предыдущий этап, для пере-ввода информации (вдруг мы передумали). Вернувшись назад в «A», мы сможем продолжить движение только в «B», на точке фиксации «A» весь пройденный путь обнуляется с точки зрения автомата. Потому что из этого состояния есть путь только в «B», никакие другие переходы тут не описаны, и общий путь автомат не интересует. Собственно поэтому у нас и есть возможность возврата только на предыдущее состояние, а не сразу в конкретное в пройденном пути.