这些简单问题的正确有限自动机图？

Question

您好，我正在学习有限自动机，我想看看这些图表和我的解释是否有意义。

{w ∈ Σ* | w 包含子串 1010} 使用五种状态

• states 中有 1010 的子串。如果你破坏了子字符串，你需要循环回来
• 接受以 0 或 1 作为结尾的状态

w ∈ Σ* | w 使用六个状态恰好包含两个 0，或至少两个 1}。

• 从预状态开始
• 两条路径：第一条路径是两个0。 0 没有循环。第二条路径是 1，需要至少有 2 个并且达到无穷大
• E 是 epsilon。 我需要 0 作为 C 和 D 上的循环吗？

Answer 1

您提供了两个有限自动机问题，

1： 在您的第一个图中，从状态 D 到状态 C 且输入符号为 0 的边缘没有任何区别。

2： 在第二个图中，第二条路径中的状态 C 和 D 需要 0 循环。 在第二个图的第一个路径中，您需要再添加一个状态，因为根据您的问题，1010 是有效字符串，但您提供的图不接受它，所以您的图就像，