| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2018-01-18 14:15 レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ ○仙田涼摩・関 浩之（名大）  MSS2017-54 SS2017-41 |
|
| 抄録 | （和） | 文脈自由文法に対してデータ値を扱えるような拡張を行った計算モデルとしてレジスタ付き文脈自由文法(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 / / / / / | |
| 文献情報 | 信学技報, vol. 117, no. 381, SS2017-41, pp. 41-46, 2018年1月. | |
| 資料番号 | SS2017-41 | |
| 発行日 | 2018-01-11 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2017-54 SS2017-41 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2018-01-18 - 2018-01-19 |
| 開催地（和） | 広島市立大学サテライトキャンパス |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2018-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ |
| サブタイトル（和） | |
| タイトル（英） | Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 文脈自由文法 / Context-free Grammar |
| キーワード(2)（和/英） | レジスタ付き文脈自由文法 / Register Context-Free Grammar |
| キーワード(3)（和/英） | 計算複雑さ / Computational Complexity |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 仙田 涼摩 / Ryoma Senda / センダ リョウマ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 関 浩之 / Hiroyuki Seki / セキ ヒロユキ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2018-01-18 14:15:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2017-54, SS2017-41 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | no.380(MSS), no.381(SS) |
| ページ範囲 | pp.41-46 |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]