确定性有限自动机状态图

Question

我需要制作一个8状态的DFA，它取0和1并且偶数个1和一个子串...... 000 ...在它的某个地方。所以我知道如何找到000的子串，我知道如何找到偶数个1，但我不知道如何将它们放在一起。有没有像这样的公式或其他东西，我刚刚开始了DFA和NFA，所以我不太确定如何解决这个问题，除了通过反复试验来解决这个问题。任何帮助都会很棒

Answer 1

测试偶数个：

然后测试000子串：

然后我们可以使用classical cross-product construction计算这些DFA的交集并得到（最小）DFA：