【发布时间】：2018-05-07 15:14:04
【问题描述】：
我想了解 RE a∗ba∗ab∗ 是否与以下有限自动机相同。我感到困惑的部分是，从 state 3 到 state 4 ，有一个 b ，这意味着该语言需要在末尾有一个 b ，而 RE 只有 b* ，这意味着 0 或更多 b 。如果不是这个 RE 的正确有限自动机是什么？
【问题讨论】：
标签： regular-language finite-automata computation-theory
【发布时间】：2018-05-07 15:14:04
【问题描述】：
确实，正则表达式 a*ba*ab* 不等同于显示的 DFA，这正是您在问题中陈述的原因。
Thompson's algorithm 是系统地将正则表达式转换为 NFA 的标准方法。 （如果您需要确定性有限自动机，则可以运行subset construction。）
【讨论】：