制約指向型形式文法に対する構文解析法に関する研究

面向约束的形式语法解析方法研究

• 批准号: 06780261
• 负责人: 関 浩之
• 金额: $ 0.7万
• 依托单位: Nara Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780261/
• 关键词: 形式文法; 形式言語; 構文解析; オートマトン; 木オートマトン

制約指向文法の構文解析法を考察するため、この種の文法で定義される言語のクラスを特徴付ける受理機のクラスとして、木記憶をもつ木オートマトン(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の受理する系列言語も多項式時間認識可能であると結論される.

Restricted to grammatical の structure analytic method を investigation す る た め, こ の の grammar で definitions さ れ る words の ク ラ ス を 徴 pay especially け る accepts the machine の ク ラ ス と し て, wood memory を も つ wood オ ー ト マ ト ン (TTA) を proposal し た. Limited オ ー ト マ ト ン の company, zhang と し て, wood を と into force す る オ ー ト マ ト ン で あ る finite state wood オ ー ト マ ト ン (TA) や プ ッ シ ュ ダ ウ ン wood オ ー ト マ ト ン (PDTA) が proposal さ れ て い る. こ れ に し polices, this study proposed で し た TTA は, wood を と into force し, memory に wood (internal wood と shout ぶ) を も ち, ボ ト ム ア ッ プ に action す る. Straight 観 に, TTA の internal wood は, restricted to grammatical の element structure に 応 seaborne す る. TA お よ び epsilon action の な い PDTA は, TTA の is の part ク ラ ス と な る. This study で は ま ず, TTA の accept す る series words の ク ラ ス は 帰 na can calculate words の ク ラ ス と consistent す る こ と を shown し た. The にTTA <s:1> part ラスと ラスと て てStructure Coposing(SC-TTA)とBackward Deterministic SC - TTA (BD - TTA) を import し た. SC - TTA に お い て は, wood into force の each vertex に お け る internal wood が, そ の す べ て の son vertex に お け る internal wood を part wood と し て containing ま な け れ ば な ら な い. こ は の conditions, restriction to grammar に お い て, "kiss の の element of tectonic は sentences の primality を part construction Tectonic と し て contains し な け れ ば な ら な い "と い う こ と に 応 seaborne す る. ま た, BD - TTA は, finite state, internal wood の root vertex の ラ ベ ル か ら, suitable さ れ た migration rules が a に decided ま る よ う な SC - TTA で あ る. The representative な constrance-directed grammar と て て and lexical functional grammar (LFG)が know られて られて る る. This study で は, SC - TTA お よ び BD - TTA の accept す る series words の ク ラ ス が, そ れ ぞ れ, LFG の part ク ラ ス NC - LFG お よ び DC - LFG の generated す る words の ク ラ ス と consistent す る こ と を shown し た. ま た, DC - LFG の generated す る words は polynomial time understanding might で あ る の で, BD-TTA <s:1> accepts する series of speech する polynomial-time cognition possible であると conclusion される.

项目成果

早川泉、中西隆一、関浩之: "木記憶を持つ木オートマトン" 電子情報通信学会技術研究報告. COMP94-74. 69-78 (1994)

Izumi Hayakawa、Ryuichi Nakanishi、Hiroyuki Seki：“具有木制记忆的树自动机”IEICE COMP94-74 (1994)。