DFA 接受字符串(基数 3，即三元形式)中与 5 模 6 全等的最小数字状态？
我尝试过，但没能做到。
最佳答案
乍一看，它似乎有 6 个状态，但可以进一步最小化。
我们先看一下状态转换表:
这里，状态 q0, q1, q2,...., q5> 对应于除以 6 时分别模 0,1,2,..., 5 的状态。 q0 是我们的初始状态，由于我们需要模 5，因此我们的最终状态将是 q 5
从上面的状态转换表中得出的一些观察结果:
- 状态 q0、q2 和 q4 完全相同
- 状态 q1、q3 和 q5 完全相同
在相同输入上转换到相同状态的状态可以合并为单个状态。
注意:最终状态和非最终状态永远不能合并。
因此，我们可以将 q0、q2、q4 合并在一起，以及 q1、q 3 在一起，使状态 q5 远离排序规则。
最终的最小 DFA 有 3 个状态，如下所示:
关于automata - DFA 中的最少状态数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/60136627/