简化正则表达式,[星]神秘地消失

时间:2013-02-22 22:00:27

标签: regex computer-science regular-language computation-theory

enter image description here! 的问题 这是我的讲义;“证明a *(b + ab *)= b + aa b ”我很难理解第3行和第3行发生的事情。第4行;
我的理解 这两行发生了两件事;

  1. 取消ab*学期ab*和学期aa*b,结果(Λ+ aa *);
  2. 上一学期aa*ab*简化为aa*b*因为中间是多余的;
  3. 问题是* aa*b(*)上发生了什么?

1 个答案:

答案 0 :(得分:4)

看起来你的教授遗漏了第3和第3行:

Line 3:     b + ab* + aa*b + aa*ab*
Line 3⅓:    b + ab* + aa*ab* + aa*b      ←  commute last two terms
Line 3⅔:    b + Λab* + aa*ab* + aa*b     ←  ab* = Λab*
Line 4:     b + (Λ + aa*)ab* + aa*b      ←  distributive property