正则表达式到上下文无关语法答案

【问题标题】：Regular expression to context free grammar正则表达式到上下文无关语法
【发布时间】：2021-06-29 21:34:26
【问题描述】：

这个 CFG 看起来对吗？我正在为这个 RE 构建一个 CFG： (a U b)* U ab(a U b)*

    this is the CFG:
    s1->a
    s2->b

这是第一个 (a U b)*

 s3->s1|s2        (a U b)
    s4->s3s4|E       (a U b)*

这是给中间的ab

s5->a
s6->b

这是用于中间的第二个（a U b）和（ab）

   s7->s1|s2         (a U b) 
    s8->s7s8|E        (a U b)* 
    s9->s5s6          (ab)

连接 ab 与第二个 (a U b)*

  s10->s8s9         (ab(a U b)*)

这是最终的cfg

s11->s4|s10       (a U b)* U ab(a U b)*

【问题讨论】：

【解决方案1】：

整个事情看起来都是正确的，除了这个：

s10->s8s9         (ab(a U b)*)

片刻的反思应该让你相信正确的制作是

s10->s9s8

【讨论】：