确定性有限自动机状态图

Question

我需要制作一个采用0和1的8状态DFA，并且偶数个1和一个子字符串... 000 ...在某处。所以我知道如何找到000的子字符串，我知道如何找到偶数个1，但我不知道如何将它们放在一起。有没有像公式或什么可以遵循这一点，我只是开始DFA和NFA，所以我不太清楚如何解决这个问题，除了试验和错误。任何帮助将是巨大的

Answer 1

对于测试偶数个1：

然后用于测试000子：

然后我们就可以计算出这些交点DFA使用classical cross-product construction并获得（最小）DFA：