硬币更换机的有限状态自动机

Question

我正在尝试建立一个表来描述下面描述的硬币兑换机的FSA行为。

有一个插槽可以接受50c硬币和2个按钮，用户可以按下这些按钮以获得20c或10c硬币作为更改。 一旦插入50c硬币，机器就会锁定以防止添加另一枚硬币。当用户按下20c按钮时，机器检查剩余值是否足够，然后给用户一个20c硬币。如果剩余的值不足以使机器“死亡”（为简单起见）。 10c按钮的工作方式类似。

机器的事件是insert50c，give20c，give10c。

所以，根据我的理解，这个FSA有6个州可以说0,10,20,30,40,50。各州由剩余的退还货币价值代表。我绘制了一个粗略的状态图here，但我错过了任何转换吗？

Answer 1

你的状态图好看。在任务中它说“用户可以按下以获得20c或10c硬币”。我完全错过了这个用户交互。如果有10c的数量并且用户按20c会怎么样？

因此，如果机器只允许接受50c进行更改而不是20c就可以了。每次换钱，换钱机都有一个取消按钮来分手。这是什么？