グループの単語問題として表現できる決定論的文脈自由言語

グループ$ G $を考えてみましょう。我々は$ G
$を実質的に無料と呼びます。それは有限インデックスの自由なサブグループを含んでいます。

もし$ G $があるセット$ X subseteq G $によって有限生成されるならば、$ X subseteq G
$のすべての単語からなる正式な言語である単語の問題 $ WP(G)カップX ^ { – 1} $は$ G
$の単位に評価されます。

MuellerとSchuppの有名な結果は$ WP(G)$が文脈自由で$ G $が実質的に無料である場合にのみ$
WP(G)$が文脈自由であることです。

また、$ WP(G)$が文脈自由であれば、文脈自由であることが決定論的であることも知られている。

私の質問は次のとおりです。いくつかのグループの単語問題として表現できる決定論的文脈自由言語のクラスが、すべての(決定論的な)文脈自由言語のクラスにどのように含まれているかについてもっと知っていますか?

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です