属性文法に基づく効率のよいソフトウェア生成系の構成法

基于属性语法的高效软件生成系统构建方法

• 批准号: 07780239
• 负责人: 渡辺 喜道
• 金额: $ 0.58万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780239/
• 关键词: 属性文法; ソフトウェア生成系; 属性評価; 構文解析

入力列を後戻りせずに左から右へ1度検査するだけで、構文解析と同時にすべての属性の値を計算する属性評価法がある.本研究では,そのような既存の属性評価法より効率のよい属性評価法と既存の方法より広いグラスの記述を扱うことのできる属性評価法を開発し,属性文法に基づく仕様記述から効率よくソフトウェアを生成するための構成法を示した.具体的な成果を以下に示す.Earleyの構文解析アルゴリズムに基づく属性評価法の効率化一般の文脈自由文法を効率よく構文解析することのできる方法にEarleyの構文解析法がある.この構文解析で用いる項目に属性情報を付加し,構文解析と同時に属性を評価する方法がある.その方法を応用し,先読み情報を用いて冗長な計算を削除した効率のよい属性評価アルゴリズムを示した.この方法により,典型的な属性文法において,従来の方法で数え上げていた項目の数が約25%減少した.LR(κ)構文解析法に基づく属性評価法の扱う範囲の拡大化既存のLR(κ)構文解析と同時に属性評価できる最大のクラスはLR属性文法とその派生クラスである.これらのクラスでは,左再帰の非終端記号に相続属性が含まれていた場合,一般には評価できない.本研究では可能な属性値を予測することでこの制限を緩和し,より広い属性文法のクラスを扱えるように拡張した.この拡張により,より自然な属性文法の記述からソフトウェアを生成することができるようになった.新しい方法の有用性の検証本研究で開発した方法の効率を実験で確認した.その結果,ソフトウェア生成系で典型的に用いるより自然な属性文法の記述を既存の方法より効率よく評価できることが確認できた.このことから,より柔軟な属性文法に基づく仕様記述からソフトウェアを効率よく構成できることを確認した.

The attribute evaluation method for calculating the attribute value of the input column is as follows: In this paper, we develop the method of attribute evaluation for existing attribute evaluation methods, and show the method of attribute syntax base for attribute evaluation methods. The specific results are shown below.Earley's construction parsing method can be used to validate basic attribute evaluation methods and general context-free grammar to validate construction parsing. The method for analyzing and evaluating the attribute information of the item is as follows: The method is used to reduce the number of redundant calculations and attribute evaluations. This method reduces the number of items by about 25%.LR(κ) structure analysis method enlarges the existing LR (κ) structure analysis method and attribute evaluation method.LR(κ) structure analysis method enlarges the existing LR(κ) structure analysis method. When the non-terminal symbol is included in the phase attribute, it is generally evaluated. In this study, the restriction of attribute prediction is relaxed, and the attribute syntax is expanded. This is a natural attribute syntax description. The effectiveness of the new method is demonstrated in this study. As a result, the generation system is typically used in the description of the natural attribute syntax and the existing method is evaluated. This is a soft attribute syntax, a base description, a soft attribute composition, and a confirmation.

项目成果

Watanabe,Yoshimichi: "Eliminating Unnecessary Items from the One-Pass Evaluation of Attribute Grammars" IEICE Transactions on Information and Systems. E79-D(To appear). (1996)

Watanabe、Yoshimichi：“从属性语法的一次性评估中消除不必要的项目”IEICE Transactions on Information and Systems。

渡辺喜道: "属性値予測による1パス属性文法の評価法" 情報処理学会論文誌. 26(掲載予定). (1996)

Yoshimichi Watanabe：“使用属性值预测的一次性属性语法的评估方法”，日本信息处理学会会刊26（待出版）。

渡辺喜道: "上昇型先読み計算による文脈自由言語の構文解析法" 電子情報通信学会論文誌. J78-D-I. 895-902 (1995)

Yoshimichi Watanabe：“使用升序前瞻计算的上下文无关语言解析方法”，电子、信息和通信工程师学会汇刊 J78-D-I 895-902 (1995)。