1999 Fiscal Year Annual Research Report
| Project/Area Number |
10680341
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
笠井 琢美 電気通信大学, 電気通信学部, 教授 (70027382)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
蓮沼 徹 電気通信大学, 電気通信学部, 助手 (30313406)
武永 康彦 電気通信大学, 電気通信学部, 講師 (20236491)
岩田 茂樹 電気通信大学, 電気通信学部, 教授 (80102028)
|
|---|
| Keywords | 形式言語理論 / 木オートマトン / 機械翻訳 / TAG / 文脈自由木オートマトン / 計算量 / プシュダウン木オートマトン |
|---|
| Research Abstract |
本研究の目的は、形式言語理論、学習理論、計算量理論などの計算機科学の基礎理論で得られたいろいろな結果を自然言語処理に応用しようとするものである。
形式言語理論では、自然言語の分野で現在注目されている Tree Adjoining Grammar (以下ではTAGと略す)を、形式言語理論の立場から見直し、いろいろな新しい結果を得ることができた。特に、形式言語理論で従来から研究されている、文脈自由木文法に自然な制限を与えることにより、Spine Grammarと呼ぶ新しい文法を定義した。この文法のクラスは、TAGと同じ文字列言語のクラスを定義し、TAGより自然な木言語のクラスを生成する。この結果は、Theory of Computing Systems 33 に掲載予定である。また、学習理論として、順序機械が極限同定可能であることを証明した。順序機械は、最も基本的な言語変換機モデルである。この結果は電子情報通信学会論文誌に掲載予定である。
研究分担者の岩田は、アルゴリズムの下界を求める研究で、(6,6)-マージングネットワークの下界を明らかにした(IEICE Trans.INF.& Syst.E83-D)。武永は、ブール関数のOBDDに基づくtree-shellable可能性について調べた("Checking ordered tree-shellability of boolean functions based on OBDDs",信学技法)。また蓮沼は、de Bruijin 有向グラフの分解に関する性質を明らかにした(Isomorhpic factorization of de Bruijn digraphs,Discrete Math.,掲載予定)。
|
Research Products
(6 results)
-
[Publications] Akio Fujiyoshi: "Spinal-form context-free tree grammars"Theory of Computing Systems. 33. 59-83 (2000)
-
[Publications] 高橋 克彦: "順序機械の多項式時間推論アルゴリズム"電子情報通信学会技術研究報告. COMP99-52. 25-32 (1999)
-
[Publications] Koichi Yamazaki: "Minimum number of comparators in (6,6)-merging network"IEICE Trans. Inf. & Syst.. E83-D2. 137-141 (2000)
-
[Publications] 田渕 朗: "T(G)を計算する新しいアルゴリズム"電子情報通信学会技術研究報告. COMP99-51. 17-24 (1999)
-
[Publications] Y.Takenaga: "Checking ordered tree-shellability of boolean function fased on OBDDs"電子情報通信学会技術研究報告. COMP99-47. 63-70 (1999)
-
[Publications] Y.Shibata: "Isomorphic factorization of de Bruijn digraphs"Discrete Mathematics. (掲載予定).
