针对所有字符串的集合以1*01 (11)*(0 U 1)*
形式(其中包含01作为子字符串)的形式构造一种语言的确定性有限自动机(DFA)
答案 0 :(得分:1)
如果不提供直接答案,您应该知道能够到达此处的构件。既然您知道有限自动机是如何工作的(否则请阅读Sudkamp的“语言和机器”),DFA会针对每种状态下的每个符号进行转换:
与下一节中遇到的不确定的有限自动机或NFA不同,对于每个状态q∈Q的DFA和每个符号a∈Σ的下一个状态, 状态δ(q,a)由过渡函数δ确定。 1
注意:如果您是视觉思维者,并且想知道这些书中的图表是如何构建的,这里是an example visualisation。