| 講演名 | 2018-01-18 レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ 仙田 涼摩(名大), 関 浩之(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 文脈自由文法に対してデータ値を扱えるような拡張を行った計算モデルとしてレジスタ付き文脈自由文法(RCFG)が提案されている．RCFGはデータ値を含む構造化データに対する質問言語のモデルとして有用である．本稿では，RCFGの所属問題と空問題がEXPTIME完全であること，ε-規則を含まないRCFGの所属問題がPSPACE完全であること等を示す． |
| 抄録(英) | Register context-free grammar (RCFG) is an extension of context-free grammar to handle data values. RCFGs can be applied to designing query languages for structured documents with data values. This paper investigates the computational complexity of the membership and emptiness problems for RCFGs, and shows that the both problems for RCFGs are EXPTIME-complete and the membership problem for RCFGs without ε-rules is PSPACE-complete. We also show the complexity of those problems for some other subclasses of RCFGs. |
| キーワード(和) | 文脈自由文法 / レジスタ付き文脈自由文法 / 計算複雑さ |
| キーワード(英) | Context-free Grammar / Register Context-Free Grammar / Computational Complexity |
| 資料番号 | MSS2017-54,SS2017-41 |
| 発行日 | 2018-01-11 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2018/1/18(から2日開催) |
| 開催地（和） | 広島市立大学サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 名嘉村 盛和(琉球大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 髙井 重昌(阪大) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ |
| サブタイトル（和） | |
| タイトル（英） | Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 文脈自由文法 / Context-free Grammar |
| キーワード(2)（和/英） | レジスタ付き文脈自由文法 / Register Context-Free Grammar |
| キーワード(3)（和/英） | 計算複雑さ / Computational Complexity |
| 第 1 著者 氏名（和/英） | 仙田 涼摩 / Ryoma Senda |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 2 著者 氏名（和/英） | 関 浩之 / Hiroyuki Seki |
| 第 2 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2018-01-18 |
| 資料番号 | MSS2017-54,SS2017-41 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | MSS-380,SS-381 |
| ページ範囲 | pp.41-46(MSS), pp.41-46(SS), |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (MSS, SS) |