如何使用以下条件创建FSM？

Question

我正在尝试解释以下条件，并认为FSM可能是最好的方法，但现在我遇到了开发它的麻烦。

所以这是条件：

S_0 if True self-loops 

S_0 if False goes to S_1

S_1 if True goes back to S_0

S_1 if False goes back to S_0

S_1 goes to S_2 if both S_0 and S_1 are False

S_2 will go back to S_0 if both false and true

这是我开发的FSM

然后我意识到这不太对，我想不出如何满足这些条件。 FSM图可以有多个相同状态的实例吗？即图表上可以有2个S_0吗？