| 研究課題/領域番号 |
09440017
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
代数学
|
|---|
| 研究機関 | 島根大学 |
|---|
研究代表者 |
今岡 輝男 島根大学, 総合理工学部, 教授 (60032603)
|
|---|
| 研究分担者 |
伊藤 正美 京都産業大学, 理学部, 教授 (50065843)
近藤 通朗 島根大学, 総合理工学部, 助教授 (40211916)
庄司 邦孝 島根大学, 総合理工学部, 教授 (50093646)
小林 ゆう治 東邦大学, 理学部, 教授 (70035343)
勝良 昌司 京都産業大学, 理学部, 教授 (80065870)
|
|---|
| 研究期間 (年度) |
1997 – 1999
|
| キーワード | 半群 / 表現 / 融合 / 形式言語 / 書き換えシステム / 自由モノイド / オートマタ / 計算理論 |
|---|
| 研究概要 |
本研究の主な研究成果は次の通りである.
(1) 一般化された逆[*-]半群の族が強融合性を持つことを一般化された逆*半群の表現を導入して証明した.
(2) 一般化された逆*半群のtransitive表現をright w-setを用いて特徴付けた.
(3) 完全0-単純半群がspecial amalgamation baseを持つための必要十分条件を求めた.
(4)有限半群がrepresentation extension propertyを持つかどうかという問題は決定可能である.
(5) 形式言語上のシャッフル及び挿入削除演算について種々の性質を求めた.特に,言語の混合削除剰余演算を定義し,極大混合剰余閉包の存在条件を求めた.
(6) 逆読み演算,積演算,シャッフル積演算等が入った形式言語をモデルにした種々のvarietyにおける自由代数の公理化を行った.
|
