根据正则式推导右线性文法

问题描述

根据正则式$(a+b{)}^{\ast }aa(a+b{)}^{\ast }bb(a+b{)}^{\ast }+(a+b{)}^{\ast }bb(a+b{)}^{\ast }aa(a+b{)}^{\ast }$写出对应的右线性文法。

预备知识

根据正则式推导右线性文法，需要从左侧开始分解，规则为

• 对于$aX$的形式，可以转换为$S\to aX$
• 对于$(a+b)X$的形式，可以转换为$S\to aX|bX$
• 对于$a^{\ast }$的形式，可以转换为$S\to aS$

分析

设右线性文法 G = ( { S , A , B , C } , { a , b } , P , S ) G=(\{S,A,B,C\},\{a,b\},P,S) G=({S,A,B,C},{a,b},P,S)，现推导其生成式的形式：

• 首先，形如$a^{\ast }$的形式，有$S\to aS$。则对于$(a+b{)}^{\ast }$有
  $$S\to aS|bS$$由于题目中正则式由两部分相加而得，则对于$aa(a+b{)}^{\ast }bb(a+b{)}^{\ast }$和$bb(a+b{)}^{\ast }aa(a+b{)}^{\ast }$有$$S\to aaA|bbB$$
  其中$$A=(a+b{)}^{\ast }bb(a+b{)}^{\ast }$$$$B=(a+b{)}^{\ast }aa(a+b{)}^{\ast }$$
• 下面继续对正则式$A$进行变换，依然是$a^{\ast }X$的形式，则
  $$A\to aA|bA$$对于$bb(a+b{)}^{\ast }$这一部分
  $$A\to bbC$$其中$C=(a+b{)}^{\ast }$，易知
  $$C\to aC|bC|\epsilon$$
• 对于$B$同理，有
  $$B\to aB|bB$$ 以及
  $$B\to aaC$$
  综上，生成式$P$的形式为
  $$S\to aS|bS|aaA|bbB$$$$A\to aA|bA|bbC$$$$B\to aB|bB|aaC$$$$C\to aC|bC|\epsilon$$