文脈自由言語

質問

１）文脈自由言語同士の和集合は文脈自由言語である。
２）文脈自由言語に属す記号列の順序を反転させた記号列からなる言語は文脈自由言語である。

この２つのことを知識としては知っていたのですが、ただ漠然とそうなりそうだな、と思っていました。
しかし、どうしたら証明できるのでしょうか？証明の仕方など知ってる方がおられましたらご教授くださいませ。

回答No.1

rinkun

文脈自由言語(文脈自由文法)の定義を考えるとほとんど自明な気がしますが、いかが?
証明は構成したものが文脈自由文法の条件を満たすことを確認して記述するだけのように思います。