在Σ= {a，b}上为以下语言构造DFA

Question

在Σ= {a，b}上为以下语言构建DFA。

L = {w：| w | mod 4 = 0}

我有以下内容：

Answer 1

您的DFA是正确的。它接受的语言不是最小的，但它接受正确的语言。较小的值消除状态q4，因为它等效于状态q0。然后，状态q0，q1，q2和q3对应于已处理输入的前缀，其长度分别取模4的0、1，t和3。

Answer 2

您制作的DFA是正确的； 由于语言字符串应具有length（4或4的倍数）； 你所做的是正确的；因为当长度最小为4时它也接受；在最终状态下，如果再次应用输入； 它再次脱离最终状态，直到长度变成 4 的倍数。