【发布时间】：2019-05-26 10:30:03
【问题描述】：
为所有字符串的集合形式为 1*01 (11)*(0 U 1)* 的语言构造一个确定性有限自动机 (DFA)，其中包含 01 作为子字符串
【问题讨论】：
-
那么你卡在哪里了？到目前为止，您尝试过什么？
标签： dfa
【发布时间】：2019-05-26 10:30:03
【问题描述】：
如果不提供直接答案，您应该知道能够到达那里的构建块。鉴于您知道有限自动机的工作原理（否则请阅读 Sudkamp 的“语言和机器”），DFA 对每个状态的每个符号都有一个转换：
与我们在下一节中遇到的非确定性有限自动机或 NFA 不同，对于每个状态 q ∈ Q 和每个符号 a ∈ Σ 下一个状态的 DFA， 即状态 δ(q, a)，由转移函数 δ 决定。 1
注意：如果你是一个视觉思考者，并且想知道这些书中的图表是如何构建的，这里是an example visualisation。
【讨论】：