自由群の部分集合の文脈自由前像

自由群の部分集合が文脈自由言語の前像となるかどうかを分類する。特に、共役類が文脈自由言語の前像となる群を特徴付ける。