下面的语言是两种更简单的语言的交集。首先,确定更简单的语言,并给出识别它们的DFA的状态图。然后,使用产品构造来构建识别下面指定语言的DFA;如果有任何不需要的状态或状态可以组合,则在简化之前和之后给出其状态图。
语言:{w是{0,1} * |的成员w包含奇数个0,其0和1的总和等于1}
这是我提出的解决方案:https://imgur.com/a/lh5Hwfr底部两个状态应该与0连接吗?
另外,如果它是OR而不是AND,DFA会是什么?
这是一张图,我希望有助于理解如何做到这一点:
语言A是“奇数零”。状态标记为Z0和Z1,表示偶数或奇数个零。
语言B“恰好是一个”(相当于“数字总和等于一”)。状态标记为I0,I1和I2,表示零,一个或多个。
语言A + B可以解释为A∩B(忽略虚线圆圈)或AUB(计算虚线圆圈)。如果构建A∩B,则状态Z0I2和Z1I2可以连接在一起。
我希望这不仅可以回答问题中的确切问题,而且还可以为类似问题建立类似的答案。