l-Orodered属性文法の有用性の検証に関する研究

l-有序属性文法有效性验证研究

基本信息

批准号：
08780248
负责人：
権藤克彦
金额：
$ 0.64万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至无数据
项目状态：
已结题

项目摘要

Ordered属性文法クラスに基づく属性評価器は(1)判定・評価器構築が多項式時間でできる,(2)インクリメンタルな属性再評価をO(|Affected|)でできる,(3)3型循環と判定されても容易とされる修正でOrdered属性文法に変換できる,という利点を持ち,実用上十分に広いクラスとして様々なシステムに応用されてきた.本研究の目的は(3)の3型循環に関する種々の性質の解明である.予想では(3)の変換がNP完全であると考えた.また多人数で属性文法仕様を記述する場合に除去が複雑になりやすいと予想した.研究成果として以下の結果を得た.・「3型循環をもつ属性文法をOrdered属性文法に変換する問題はNP完全である」ことを証明した.「2型循環を持たず,3型循環を持つ属性文法」を必ずしもOrdered属性文法に変換できないことを反例を示して証明した.Ordered属性文法に変換できるクラスについては,そのクラスがl-Ordered属性文法クラスと一致することを証明した.l-Ordered属性文法クラスの判定問題はNP完全問題であり,Ordered属性文法クラスは多項式時間で判定可能なので,Ordered属性文法に変換できる(=3型循環の除去可能性を判定する問題)はNP完全であることになる.・ 3型循環の除去アルゴリズムを構築した.このアルゴリズムは,属性依存グラフIDPからEDPを作成する際に付加される技の一部を反転して3型循環の除去を試みるということを全ての組合せに対して行う.・ Ordered属性文法クラスを含み,l-Ordered属性文法クラスに含まれる,新しい属性文法クラスOAG^*を考案した.3型循環を生じにくく,かつ,多項式時間で判定できるという特徴を持つ.属性依存グラフDPを全ての同一記号生起について重ねたグラフGDSを考慮して,属性を全順序化する.・ OAG^*に基づく属性評価器をThe Synthesizer Generator^<TM>の属性評価カーネルに実装し,3型循環を持つ中規模の例題を用いて実験し,良い結果を得た.この例題を複数プログラマが開発したシステムであり,規模は非終端記号数282,生成規則数598,属性数1338である.3型循環を取り除くために,人手で架空の依存を55本張られていた.OAG^*を用いて処理した所,3型循環は生じなかった.

有序的属性属性属性评估设备可以（1）可以用多个术语进行判断和评估仪器构建，（2）墨水 - 型型属性重新评估可以由O（| faffed |），（3）进行。 3型循环和判断力预计（3）的转换是完美的，预计当属性语法规范被描述为大量人时，删除可能会变得复杂。将属性语法用3型流通转换为有序属性语法的问题是完美的。它与L级属性类别相匹配。 =确定删除3个周期的可能性是NP完美的很难创建一个新属性的语法类别，该类别包含在L级属性中，该类别的可能性较小，在L-Ordered属性语法类中引起.3型循环基于OAG^*的所有相同符号dp的GD是基于OAG^*的属性评估设备。良好的结果。，使用55个虚拟依赖性.oag^*进行处理。