我们如何为上下文无关语言构建 CFG

问题描述

为以下语言构建 CFG：{a^i b^j c^k | j 不等于 i + k}。我已经尝试了以下CFG，但它错过了一些情况。

S---> AB
A---> ab|aAb|aA|NULL
B---> bc|bBc|cB|NULL

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）