講演名 | 1999/11/12 ω書き換えシステムの準同型定理と到達不可能性 赤間 清, 繁田 良則, 宮本 衛市, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | ω構造と呼ばれる抽象構造は,多くの書換えシステムに共通の概念である「代入」、「文脈」、「置き換え」を定式化するために使われる.ω書換えシステムと呼ばれる書き換えシステムのクラスは、ω構造の上に定義され、項書き換えシステム,文字列書き換えシステム,ペトリネットなどの重要な書き換えシステムを含んでいる。本論文では、ω構造に対する準同型写像を導入し、ω書換えシステムに関する準同型定理を証明する。また、準同型定理をω書換えシステムの到達不可能問題の解決に応用する方法を示す。 |
抄録(英) | An abstract structure called ω structure is used to formalize the concepts of "substitutions," "contexts," and "replacement" common to many rewriting systems. A class of rewriting systems, called ω rewriting systems, has been defined on ω structures and includes very important systems such as term rewriting systems, string rewriting systems, and Petri Nets. In this paper, we introduce a concept of homomorphism for ω rewriting systems and prove a homomorphism theorem for ω rewriting systems. We also explain how to apply the homomorphism theorem to solve unreachability problems for ω rewriting systems. |
キーワード(和) | 書き換えシステム / 準同型写像 / 準同型定理 / 到達不可能性 |
キーワード(英) | rewriting system / homomorphism / homomorphism theorem / unreachability |
資料番号 | KBSE99-40 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 1999/11/12(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | ENG |
タイトル(和) | ω書き換えシステムの準同型定理と到達不可能性 |
サブタイトル(和) | |
タイトル(英) | Homomorphisms Theorem and Unreachability for ω Rewriting Systems |
サブタイトル(和) | |
キーワード(1)(和/英) | 書き換えシステム / rewriting system |
キーワード(2)(和/英) | 準同型写像 / homomorphism |
キーワード(3)(和/英) | 準同型定理 / homomorphism theorem |
キーワード(4)(和/英) | 到達不可能性 / unreachability |
第 1 著者 氏名(和/英) | 赤間 清 / Kiyoshi Akama |
第 1 著者 所属(和/英) | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
第 2 著者 氏名(和/英) | 繁田 良則 / Yoshinori Shigeta |
第 2 著者 所属(和/英) | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
第 3 著者 氏名(和/英) | 宮本 衛市 / Eiichi Miyamoto |
第 3 著者 所属(和/英) | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
発表年月日 | 1999/11/12 |
資料番号 | KBSE99-40 |
巻番号(vol) | vol.99 |
号番号(no) | 426 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |