【问题标题】:Trying to Build DFA尝试构建 DFA
【发布时间】:2020-05-14 11:11:27
【问题描述】:

我正在尝试构建确定性有限自动机这种形式语言

L = {w|w=Σ*0100} ⋂ {w=!Σ*11Σ*}

任何帮助构建自动机

【问题讨论】:

  • sigma 在这里表示什么。我发现理解 sigma 没有什么困难。你能举一些满足这种语言的数字的例子吗?
  • Σ* 表示alpha bet中的所有字母都可以在序列0100之前我的alpha bet是{0,1}。
  • 好的,正在努力。一会儿再发。
  • 这是{0,1} 上不包含11 并以0100 结尾的单词的语言。您可以使用该定义为其创建 NFA,然后将 NFA 转换为 DFA 吗?这可能是最简单的路线。如果找不到 NFA,则可以从正则表达式开始并将其转换为 NFA。这种语言的正则表达式很简单。

标签: automata dfa


【解决方案1】:

在这里,您的语言接受所有以0100 结尾但不包含11 的字符串。所以,跟随自动机满足你的语言。

说明:

  • 状态enull 状态。如果自动机连续遇到两个1,它会进入null状态,然后不管遇到什么,它都卡在非终止状态。
  • 它搜索0100,如果遇到它,它会进入终止状态d

【讨论】:

  • 乐于助人。 :) 如果您需要任何帮助,您可以提出更多问题。您可以在评论中使用@CodeTalker 标记我以要求回答,我喜欢解决自动机问题。
猜你喜欢
  • 1970-01-01
  • 2021-05-13
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2021-10-07
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多