检测由无关项组成的模式的电路的状态图

Question

因此，假设我们需要设计一个电路的状态图，该电路可以检测诸如1X1X0可以为X或1之类的模式，例如0 。我完全理解没有无关条款的情况。但是在这种情况下，我真的应该形成一个每次遇到X时都会扩展的状态图吗？
例如，更清楚一点，例如，当我检查第一个术语1之后，我是否同时为0和1创建了一个不同的状态，或者有没有更实用的方法导致有太多国家要处理？

谢谢！