質問には次のように記載されています。
言語 A = {a^ib^jc^k | を生成する文脈自由文法を与えてください。i=j or j=k where i,j,k >= 0} 文法があいまいですか? なぜですか、そうでないのですか？ 【はじめに。TOC Sipser 2.10 へ]
この本には、単に言語の記述から文脈自由文法を生成する方法について、あまり多くの良い例がありません。
プッシュダウン オートマトンを作成してから、そこから変換を試みる必要がありますか? または、このことに関する一般的なガイドラインはありますか？