regex - 简化正则表达式，[star] 神秘消失

Question

！ 问题 这是我的讲义；“证明 a*(b+ab*)=b+aa b ”
我无法理解第 3 行-> 第 4 行发生的事情；
我的理解 在那两条线上发生了两件事；

1. 取出ab*termab*和 term aa*b, results(Λ+aa*);
2. 最后一项aa*ab*简化为aa*b*因为中间的 a 是多余的；

问题是 * at 发生了什么aa*b(*)？

Answer 1

看起来您的教授遗漏了第 3⅓ 和 3⅔ 行：

第 3 行：b + ab* + aa*b + aa*ab*
第 3⅓ 行：b + ab* + aa*ab* + aa*b ← 通勤最后两个学期
第 3 行⅔：b + Λab* + aa*ab* + aa*b ← ab* = Λab*
第 4 行： b + (Λ + aa*)ab* + aa*b ← 分配性质