抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
モノイドは,すべての定義関係が形式w=1である表現を許すならば,特殊と呼ばれる。あらゆるグループは特殊であるが,あらゆるモノイドは特殊ではない。本論文では,Duncan&Gilmanの意味における単語問題の言語理論特性を,それらのユニットのグループに関して特別なモノイドに対して記述した。特別なモノイドは,もしそのユニットグループが事実上自由であるならば,コンテキストフリー単語問題を持ち,Muller-Schupp定理の完全一般化を与えることを証明した。2004年にDuncan&Gilmanによって提起された質問である特殊なモノイドのクラスに対して,この完全回答は,完全に回答した。特別なモノイドにおける単語の一致クラスを記述し,これらが単語問題と同じ言語理論特性を有することを証明した。これは1992年にZhangによって最初に提起された疑問である。共ロールとして,特別な1関係モノイドがコンテキストフリー単語問題を持つかどうかは,決定可能(多項式時間)であることを証明する。これは,1992年からの他の疑問を完全に答え,Zhangによっても提起した。【JST・京大機械翻訳】