automata - 包含 1101 作为子字符串的 DFA

标签 automata dfa

我必须绘制一个 DFA,它接受包含 1101 作为子字符串的所有字符串的集合。我自己尝试了一个,但想确定它是否正确,但无法附加图像,因为我是新用户。

谢谢

最佳答案

这是一个简单的 DFA。它需要 5 个状态。

  1. 状态0:
    • 收到 1 后从状态 0 移动到状态 1
    • 收到 0 后保持状态 0
  2. 状态1:
    • 收到 1 次从状态 1 移动到状态 2
    • 收到 0 后从状态 1 转移到状态 0
  3. 状态 2:
    • 收到 0 后从状态 2 转移到状态 3
    • 收到 1 后,停留在状态 2
  4. 状态 3:
    • 接收到从状态 3 到状态 4 的 1 次移动
    • 收到 0 后从状态 3 转移到状态 0
  5. 状态 4:
    • 收到 1 条停留在状态 4 的信息
    • 收到 0 后,保持状态 4

所以它看起来像

关于automata - 包含 1101 作为子字符串的 DFA,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45937385/

相关文章:

computer-science - 无法在输入上写入的固定大小磁带图灵机相当于 DFA

python - 元胞自动机算法似乎不起作用

java - 实现 DFA 的最佳方法有哪些?

string - Knuth-Morris-Pratt 算法中的 DFA 构造

automata - DFA和NFA哪个更强大?

finite-automata - 转移图和有限自动机的区别

automata - {w in {a, b}* | 强化学习关系中有多少个等价类? (#a(w) mod m) = ((#b(w)+1) mod m)}

regex - 自动机和正则表达式理论工具

c++ - 正则表达式解析器

deterministic - 如果一种语言 (L) 被 n 状态 NFA 识别,它是否也能被状态不超过 2^n 的 DFA 识别?