Не уверен, как вы подготовили свой fst, но похоже, что ваш fst уже каким-то образом оптимизирован, поэтому он не очень прост. Если вы отключите оптимизацию, вам будет легче понять, что происходит.
Я предположил, что двойной круг обозначает конечные состояния и не должно быть никакого перехода из конечных состояний.
Совершенно возможен переход между конечными состояниями.
Также, как будет вычисляться вероятность "погони"?
Переход из состояния 1 в состояние 0, затем в состояние 2, затем обратно в состояние 0, затем в состояние 1, затем обратно в состояние 0.