講演名 | 2000/10/20 プッシュダウン木変換器の分類に関する一考察 袖嶋 嘉哉, 阿部 尚史, 山崎 克典, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 近年下降型プッシュダウン木変換器(t-PDTT), 上昇型プッシュダウン木変換器(b-PDTT), 及び一般化されたプッシュダウン木変換器(g-PDTT)の概念が導入され, その基本的性質が調べられた.またg-PDTTが生成する変換のクラスはt-PDTT及びb-PDTTのそれを真に包含することが示された.この結果を踏まえて, 本論文ではg-PDTTが生成する種々の変換のサブクラス間における包含関係について考察を加えている. |
抄録(英) | Recently the top-down pushdown tree transducers(t-PDTTs), the bottom-up pushdown tree ttansducers(b-PDTTs), and the generalized pushdown tree transducers(g-PDTTs)were introduced and their fundamental properties were investigated. And it was shown that the class of translations generated by a g-PDTTs properly contains both the classes of generations generated by t-PDTTs and b-PDTTs. According to the above studies, in this paper, we discuss some inclusion properties among the subclasses of translation generated by g-PDTTs. |
キーワード(和) | 一般化されたプッシュダウン木変換器 / 下降型(上昇型)プッシュダウン木変換器 |
キーワード(英) | generalized pushdown tree transducer / top-down(bottom-up)pushdown tree transducer |
資料番号 | COMP2000-45 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 2000/10/20(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | JPN |
タイトル(和) | プッシュダウン木変換器の分類に関する一考察 |
サブタイトル(和) | |
タイトル(英) | Some Notes on Classification of Pushdown Tree Transducers |
サブタイトル(和) | |
キーワード(1)(和/英) | 一般化されたプッシュダウン木変換器 / generalized pushdown tree transducer |
キーワード(2)(和/英) | 下降型(上昇型)プッシュダウン木変換器 / top-down(bottom-up)pushdown tree transducer |
第 1 著者 氏名(和/英) | 袖嶋 嘉哉 / Yoshichika Sodeshima |
第 1 著者 所属(和/英) | 東京理科大学理工学部情報科学科 Department of Information Sciences, Science University of Tokyo |
第 2 著者 氏名(和/英) | 阿部 尚史 / Naofumi Abe |
第 2 著者 所属(和/英) | 東京理科大学理工学部情報科学科 Department of Information Sciences, Science University of Tokyo |
第 3 著者 氏名(和/英) | 山崎 克典 / Katsunori Yamasaki |
第 3 著者 所属(和/英) | 東京理科大学理工学部情報科学科 Department of Information Sciences, Science University of Tokyo |
発表年月日 | 2000/10/20 |
資料番号 | COMP2000-45 |
巻番号(vol) | vol.100 |
号番号(no) | 402 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |