| 研究課題/領域番号 |
06780261
|
|---|
| 研究種目 |
奨励研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 奈良先端科学技術大学院大学 |
|---|
研究代表者 |
関 浩之 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (80196948)
|
|---|
| 研究期間 (年度) |
1994
|
| 研究課題ステータス |
完了 (1994年度)
|
| 配分額 *注記 |
1,100千円 (直接経費: 1,100千円)
1994年度: 1,100千円 (直接経費: 1,100千円)
|
|---|
| キーワード | 形式文法 / 形式言語 / 構文解析 / オートマトン / 木オートマトン |
|---|
| 研究概要 |
制約指向文法の構文解析法を考察するため、この種の文法で定義される言語のクラスを特徴付ける受理機のクラスとして、木記憶をもつ木オートマトン(TTA)を提案した.
有限オートマトンの拡張として、木を入力とするオートマトンである有限状態木オートマトン(TA)やプッシュダウン木オートマトン(PDTA)が提案されている。これに対し、本研究で提案したTTAは、木を入力とし、記憶部に木(内部木と呼ぶ)をもち、ボトムアップに動作する.直観的に、TTAの内部木は、制約指向文法の素性構造に対応する.TAおよびε動作のないPDTAは、TTAの真の部分クラスとなる.
本研究ではまず、TTAの受理する系列言語のクラスは帰納的可算言語のクラスと一致することを示した.次にTTAの部分クラスとしてStructure Coposing(SC-TTA)とBackward Deterministic SC-TTA(BD-TTA)を導入した.SC-TTAにおいては、入力木の各頂点における内部木が、そのすべての子頂点における内部木を部分木として含まなければならない.この条件は、制約指向文法において、「親の句の素性構造は部分句の素性構造を部分構造として包含しなければならない」ということに対応する.また、BD-TTAは、有限状態、内部木の根頂点のラベルから、適用された遷移規則が一意に定まるようなSC-TTAである.
代表的な制約指向文法として、語彙機能文法(LFG)が知られている.本研究では、SC-TTAおよびBD-TTAの受理する系列言語のクラスが、それぞれ、LFGの部分クラスNC-LFGおよびDC-LFGの生成する言語のクラスと一致することを示した.また、DC-LFGの生成する言語は多項式時間認識可能であるので、BD-TTAの受理する系列言語も多項式時間認識可能であると結論される.
|
