形式言語理論の自然・言語処理への応用

2001 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 Grammrと呼ぶ新しい文法を定義した。この文法のクラスは、TAGと同じ文字列言語のクラスを定義し、TAGより自然な木言語のクラスを生成する。この結果はTheory of Computing Systems 33に掲載された。また、学習理論として、順序機械が極限同定可能であることを証明した。この結果は電子情報通信学会論文誌に掲載された。
これまで、自然言語に対するいろいろな文法が議論されてきた。しかしこれらの文法を忠実に実現するような構文解析アルゴリズムはまだ完成されていない。これは、これらの文法に対応するオートマトンモデルが存在しなかったためだと思われる。我々は、上述のSpine Grammarに対応するオートマトンモデルとして、転送スタック付きプッシュダウン・オートマトンというモデルを導入した。このモデルを使って、実際に英文を構文解析し、その構文解析木(D構造)を表示するシステムを完成した。具体的には、関係代名詞を含む文、分裂文、形式主語文などが構文解析できる。この結果は電子情報通信学会論文誌に掲載された。

Research Products

• [Publications] 川原田 郁雄: "転送スタック付プッシュダウンオートマトンとLinear Inder Grammarについて"電子情報通信学会論文誌D-1. J84-D-1. 1583-1590 (2001)
• [Publications] Shigeki Iwata: "Lower bounds for merging networks"Information and Computation. 168. 187-195 (2001)
• [Publications] Yasuhiko Takenaga: "Tree-shellability of boolean functions"Theoretical Computer Scince. 262. 633-647 (2001)
• [Publications] Hiroshi Nagamochi: "An efficient NC algorithm for a sparse k-edge-connection certificate"J. of Algorithms. 38. 354-373 (2001)
• [Publications] Toru Hasunuma: "completely independent spanning trees in the underlying graph of a line digraph"Discrete Mathematics. 234. 149-157 (2001)
• [Publications] 横田 雅也: "一般化詰将棋問題の指数時間完全性"電子情報通信学会論文誌D-1. J84-D-1. 239-246 (2001)