正则表达式和自动机的相互转化

• 定理
• DFA 到正则表达式
  • 终止状态集的处理
  • 例子
• 正则表达式到 NFA
  • 例子
• NFA 到 DFA
  • 自动机等价和确定化
  • NFA的确定化之子集法构造思想
    • 无ε空边NFA转换为DFA—子集法
    • 带ε空边NFA转换为DFA—子集法
      • 定义1：状态集I的ε闭包
      • 定义2：状态集I的a转换（状态集I经过输入a的转换状态集合）
      • 算法
      • 例子
• 参考资料

定理

对任一确定有限自动机A，存在一正则表达式e,使得L(A)=L(e),反之亦然。

DFA 到正则表达式

现在有一个DFA，要构造正则表达式，我们就给出几种构造的规则。

如图所示可以构造出三种规则：

• 各节点连接在一起，这个跟我们认识的结果是一样的。我们接受的就是a和b的连接相当于说接受ab到3状态
• 第二种也很好理解，走上面的路和走下面的路都行，能接受的串就是a或b，正则表达式也是并的关系，解释出来相同
• 第三种