来自这个 dfa 的正则表达式答案

【问题标题】：Regular expression from this dfa来自这个 dfa 的正则表达式
【发布时间】：2021-04-19 08:54:17
【问题描述】：

这个转换图的正则表达式是什么？请可以制作并解释一下，我将非常感谢他。

【问题讨论】：

【解决方案1】：

我们可以为此写一些方程式：

(q0) = e + (q1)a + (q3)b
(q1) = (q0)a + (q2)b
(q2) = (q1)b + (q3)a
(q3) = (q0)b + (q2)a

您可以像这样阅读这些等式：“引导我进入状态 X 的字符串集合是引导我进入状态 Y 后跟符号 c 的字符串集合，或者是引导我进入状态 Z 之后的字符串集合通过符号 d，或..."

我们现在可以使用替换和消除自引用的规则来求解这些方程，即：

if (q) = (q)x + y, then (q) = y(x*)

我们可以通过消去 (q3) 开始求解系统：

(q0) = e + (q1)a + [(q0)b + (q2)a]b
(q1) = (q0)a + (q2)b
(q2) = (q1)b + [(q0)b + (q2)a]a

分发：

(q0) = e + (q1)a + (q0)bb + (q2)ab
(q1) = (q0)a + (q2)b
(q2) = (q1)b + (q0)ba + (q2)aa

我们现在可以摆脱 (q1)：

(q0) = e + [(q0)a + (q2)b]a + (q0)bb + (q2)ab
(q2) = [(q0)a + (q2)b]b + (q0)ba + (q2)aa

分发：

(q0) = e + (q0)aa + (q2)ba + (q0)bb + (q2)ab
(q2) = (q0)ab + (q2)bb + (q0)ba + (q2)aa

对类似术语进行分组：

(q0) = e + (q0)(aa + bb) + (q2)(ab + ba)
(q2) = (q0)(ab + ba) + (q2)(aa + bb)

使用规则删除自引用：

(q0) = (aa + bb)* + (q2)(ab + ba)(aa + bb)*
(q2) = (q0)(ab + ba)(aa + bb)*

代入去掉(q2)：

(q0) = (aa + bb)* + [(q0)(ab + ba)(aa + bb)*](ab + ba)(aa + bb)*

分发：

(q0) = (aa + bb)* + (q0)(ab + ba)(aa + bb)*(ab + ba)(aa + bb)*

使用规则进行自我引用：

(q0) = (aa + bb)*[(ab + ba)(aa + bb)*(ab + ba)(aa + bb)*]*

【讨论】：