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

【问题标题】：Construct DFA for the following language on Σ={a,b}在 Σ={a,b} 上为以下语言构建 DFA
【发布时间】：2019-05-19 16:21:05
【问题描述】：

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

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

我有以下几点：

【问题讨论】：

标签： automata

【解决方案1】：

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

【讨论】：

【解决方案2】：

你写的DFA是正确的；因为语言字符串应该有长度（4 或 4 的倍数）；你所做的是正确的；因为当长度最小为 4 时它也可以接受；如果您再次应用输入，则处于最终状态；它再次离开最终状态，直到长度变为 4 的倍数。

【讨论】：