ちょっと質問です。
既存の文法を拡張する場合、自分で勝手に反復補題を作ってもいいもんなんでしょうか？
2つの文脈自由性のある文法が生成する言語族の、一方が他方の真部分集合であることを証明したいんです。