生成上下文无关语法（TOC 基础）答案

【问题标题】：Generating Context-Free-Grammar (TOC Basics)生成上下文无关语法（TOC 基础）
【发布时间】：2023-04-04 03:30:01
【问题描述】：

问题说明：

给出一个生成语言的上下文无关文法 A = {a^i b^j c^k | i=j 或 j=k 其中 i,j,k >= 0} 语法有歧义吗？为什么或为什么不？ [简介。到 TOC Sipser 2.10]

这本书没有太多关于如何仅从语言描述生成上下文无关语法的好例子。

我应该尝试创建一个下推自动机，然后尝试从那里转换吗？还是有一些关于这件事的一般指导方针？

【问题讨论】：

【解决方案1】：

只需转到here 并尝试猜测您的示例是否相似（讽刺的暗示：这是同一件事），只是尝试争论为什么会这样，否则它将毫无用处..

【讨论】：