| 講演名 | 1997/1/24 一意解析可能ユニフィケーション文法について 森田 憲一, 麻生 博紀, 今井 克暢, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 一意解析可能文法(UPG, Morita et al.) は構文解析を決定的に実行できるような文法であり、この文法のクラスおよびその3つのサブクラスが「決定性のChomsky階層」を形成することがわかっている。本稿では、これを拡張した「一意解析可能ユニフィケーション文法」(UPUG)を提案する。ユニフィケーション文法(UG)は各非終端記号が項(term)であるような文法であり、生成および還元の際にPrologにおけるようなユニフィケーションを伴う。ここでは、必要となるUGの枠組みを定義した後、それが一意に解析可能となる条件を与える。 |
| 抄録(英) | A uniquely parsable grammar (UPG) introduced by Morita et al. is a grammar with a restricted type of rewriting rules, where parsing can be performed without backtracking. It has been shown that the class of UPGs and its three subclasses form a "deterministic Chomsky hierarchy" parallel to the classical Chomsky hierarchy. In this paper, we extend it to a uniquely parsable unification grammar (UPUG). A unification grammar (UG) is a system in which nonterminal symbols are terms, and derivation processes accompany unification of terms as in prolog. We first define a general framework of a UG, and then give a UPUG-condition so that it has the property of unique parsability. |
| キーワード(和) | 生成文法 / 形式言語 / 決定性構文解析 / ユニフィケーション |
| キーワード(英) | generative grammar / formal language / deterministic parsing / unification |
| 資料番号 | COMP96-74 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1997/1/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 一意解析可能ユニフィケーション文法について |
| サブタイトル（和） | |
| タイトル（英） | On Uniquely Parsable Unification Grammars |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 生成文法 / generative grammar |
| キーワード(2)（和/英） | 形式言語 / formal language |
| キーワード(3)（和/英） | 決定性構文解析 / deterministic parsing |
| キーワード(4)（和/英） | ユニフィケーション / unification |
| 第 1 著者 氏名（和/英） | 森田 憲一 / Kenichi MORITA |
| 第 1 著者 所属（和/英） | 広島大学工学部 Faculty of Engineering Hiroshima University |
| 第 2 著者 氏名（和/英） | 麻生 博紀 / Hiroki Asou |
| 第 2 著者 所属（和/英） | 広島大学工学部:西日本シンクタンク(株) Faculty of Engineering Hiroshima University:Nishi Nippon Think Tank Co., Ltd. |
| 第 3 著者 氏名（和/英） | 今井 克暢 / Katsunobu IMAI |
| 第 3 著者 所属（和/英） | 広島大学工学部 Faculty of Engineering Hiroshima University |
| 発表年月日 | 1997/1/24 |
| 資料番号 | COMP96-74 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 488 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |