我遇到了一个有以下问题的状态机：
State 1 ----transition 1---> State 2----transition 2---> State 3
State 4 ----transition 4---> State 2----transition 2---> State 3
转换1与动作1相关联。转换4与动作4相关联。但是，在设计整个机器之后，我意识到转换2可能与动作2或动作3相关，具体取决于状态之前是否状态2是状态1或状态4，因此是否执行了动作1或动作4。
我尝试了不同的设计但却无法做到这一点。这也不是推动自动机。我该怎么办才能理顺这个
答案 0 :(得分：3)
在我看来，你所说的是状态2实际上可以处于两种状态之一，或者先于状态1或状态4.那对我来说它应该实际上由两个状态表示，尽管两者都有可以进入状态3。
所以，状态1 - ＆gt;状态2 - ＆gt;状态3和状态4 - > （新）状态5 - ＆gt;州3。
你有什么理由不这样做吗？