|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7925
|
| タイトル: | 非線形TRSのE重なり性について |
| 著者: | 松浦, 邦博
大山口, 通夫
太田, 義勝
小川, 瑞史 |
| キーワード: | 項書換えシステム
深さ保存
非E重なり
非ω重なり
右定項TRS |
| 発行日: | 1997-11-20 |
| 出版者: | 電子情報通信学会 |
| 誌名: | 電子情報通信学会論文誌 D |
| 巻: | J80-D1 |
| 号: | 11 |
| 開始ページ: | 847 |
| 終了ページ: | 855 |
| 抄録: | 項書換えシステム（TRS）の重要な性質の一つに合流性があり，最近，非線形TRSにおいては非E重なり性がその合流性と密接に関係していることが報告された．しかし，非E重なり性は一般に非可解な問題である．本論文では，まず「深さ保存」の概念を導入し，TRSが深さ保存的であるとき，非ω重なりならば非E重なりであることを示す．非ω重なり性は判定可能な性質であることから，この結果を用いて，合流性を保証する判定可能な十分条件をいくつか導くことができることを示す．次に，右定項TRSのクラスに限定すれば非E重なり性判定問題が可解であることを明らかにする． |
| Rights: | Copyright (C)1997 IEICE. 松浦 邦博, 大山口 通夫, 太田 義勝, 小川 瑞史, 電子情報通信学会論文誌 D, J80-D1(11), 1997, 847-855. http://www.ieice.org/jpn/trans_online/ |
| URI: | http://hdl.handle.net/10119/7925 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IEICE97-1.pdf | | 605Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
