L= {a^ib^ic^i : i >= 1} の補数が文脈自由であることを証明しようとしています。L の補数は次のとおりです: {w は {a,b,c} 上の単語です* : w は L にありません}。
私たちが知っているように、文脈自由言語は和集合の下で閉じられています。だから、私は自分の言語 ({a^ib^ic^i} の補数) を文脈自由サブセットに分割しようとしています。サブセットを見つけるのを手伝ってくれる人はいますか? 私がしようとするたびに、私はL *で終わります！
ありがとうございました。