如何使用DFA代表咖啡机？

Question

我想知道如何使用确定性有限自动机来表示咖啡机？

我已经做了很多工作。 我通过与自然数字进行一对一的对应，将每个过程表示为一组。 但我仍然不知道如何使用DFA来表示它。

Answer 1

首先，试着想象你的自动机所处的状态。像：

Off, Ready, Working

然后想象您必须执行的按钮或输入才能在这些状态之间切换。不要忘记定义每个州的每个输入。如果省略几个转换，则自动机不具有确定性，因此是NFA。过渡可能是：

0 for power off/on
1 for start/stop working

Off -0-> Ready
Ready -1-> Working
Ready -0-> Off
Working -1-> Ready  (4 for the actual working process)

Off -1-> Off
Working -0-> Working (nothing happens in this cases)

只需将状态与给定的过渡连接起来，然后瞧！