试消除下列文法中存在的左递归 G[A]: A → BC | CZ | W B → Ab | Bc C → Ax | By | Cp
时间: 2023-10-25 07:07:11 浏览: 71
消除 G[A] 中的左递归:
1. 将 B → Ab | Bc 改写为 B → AbB' | BcB',其中 B' 是 B 的后缀。
2. 将 C → Ax | By | Cp 改写为 C → AxC' | ByC' | CpC',其中 C' 是 C 的后缀。
3. 将 G[A] 改写为:
A → CZA' | WA'
A' → BCA' | ε
B → AbB' | BcB'
B' → AbB' | ε
C → AxC' | ByC' | CpC'
C' → xC' | yC' | pC' | ε
这样,G[A] 中的左递归被消除了。
相关问题
试消除下列文法中存在的左递归 G[A]: A → BC | CZ | W B → Ab | Bc C → Ax | By | Cp
消除左递归的步骤如下:
1. 提取左公因子
G[A]: A → CZ | W A'
A' → BC | ε
B → aB' | cB'
B' → ε | aB' | cB'
C → Ax | By | Cp
2. 消除间接左递归
G[A]: A → CZ | W A'
A' → BC | ε
B → aB' | cB'
B' → ε | aB' | cB'
C → Ax | WY | Cp
Y → xY | ε
最终的文法为:
G[A]: A → CZ | W A'
A' → BC | ε
B → aB' | cB'
B' → ε | aB' | cB'
C → Ax | WY | Cp
Y → xY | ε
消除下列文法中存在的左递归 G[A]: A → BC | CZ | W B → Ab | Bc C → Ax | By | Cp
首先,我们需要检测文法中是否存在左递归。如果一个非终结符可以推导出以它自身开头的产生式序列,那么就存在左递归。
对于文法 G[A]: A → BC | CZ | W B → Ab | Bc C → Ax | By | Cp,我们可以看到 B 和 C 都存在左递归。具体来说,B 可以推导出以 B 开头的产生式序列,C 可以推导出以 C 开头的产生式序列。下面分别进行消除。
1. 消除 B 的左递归
将 B → Ab | Bc 改写为 B → cB',B' → ε | Ab'。这样就将原来的左递归消除了。
2. 消除 C 的左递归
将 C → Ax | By | Cp 改写为 C → pC',C' → ε | Ax' | By'。这样也将原来的左递归消除了。
最终的文法如下:
G[A]: A → BC | CZ | W
B → cB' | ε
B' → Ab' | ε
C → pC'
C' → Ax' | By' | ε
相关推荐
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![-](https://csdnimg.cn/download_wenku/file_type_column_c1.png)
![-](https://csdnimg.cn/download_wenku/file_type_column_c1.png)
![-](https://csdnimg.cn/download_wenku/file_type_column_c1.png)
![-](https://csdnimg.cn/download_wenku/file_type_lunwen.png)
![-](https://csdnimg.cn/download_wenku/file_type_column_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)