确定性有限自动机（DFA）-问题

Question

基本上，我必须构建DFA。

问题陈述：

构造一个自动机，它读取二进制字符串，但只接受（在决赛中完成） 状态）输入 {1^i = 11···1|我次| 3 除以 i}

我根据这个说法画了DFA图，但我不确定它是否正确。

有人可以看一下吗？

我已经定义了状态，这些状态将加起来为三个 1，并将最终状态与开始状态连接起来，因为它应该对任意 i 大小重复，使得 3 除 i。所以我们需要3步后循环。

Answer 1

下图是练习题的答案！