LR構文解析向き属性文法に基づく実用的なコンパイラ生成系の研究

适合LR解析的基于属性文法的实用编译器生成系统研究

• 批准号: 61580016
• 负责人: 佐々 政孝
• 金额: $ 0.58万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1986
• 资助国家: 日本
• 起止时间: 1986 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-61580016/
• 关键词: 属性文法; コンパイラ; コンパイラ生成系; LR構文解析

1.研究の目的コンパイラの分野では、従来意味解析の定式化が遅れていたが、属性文法の提案以来、属性文法の記述からコンパイラを生成する研究が盛んになった。我々はその中の一つとして、LR構文解析と同時に意味解析の行えるECLR属性文法を提案し、それによる生成系を試作してきた。本研究はそれを実用的なシステムに高めることを目的とする。2.コンパイア生成系の改良試作ずみの旧版生成系で、ISO規格Pascalの意味解析を記述した所、記述量と属性評価の効率に改善すべき点のあることが判明した。(1)コピー規則の記述:前述のPascalの記述では、属性評価式の73%がコピー規則であった。そこで、コピー規則を2つの類型に分類し、単純なコピーは「transfer 属性名,…」,縫い糸型のコピーは、「thread 属性名,…」と記述できるようにした。これにより属性評価式の行数が20%減少し、書き易さも大巾に向上した。(2)局所属性:文法記号ではなく構文規則に付随する属性として局所属性を導入した。これは属性文法の関数性、単一代入性を満たしている。これにより、属性評価式 間の共通部分式の記述が一回ですみ、属性評価の効率も向上する。属性評価式の行数は、7%減少した。(3)その他:同値類をなす相続属性の指定、文脈条件の記述法も改善し、全体として構文・意味規則部2941行中695行(23%)の減少をみた。3.今後の課題記述量については、純粋な属性文法の範囲内でほぼ所期の目的を達成したが、属性評価の効率の向上と、属性文法に基づくコンパイラ開発のためのプログラミング環境の整備が課題である。

1. The purpose of the study is to analyze the definition of the attribute grammar since the proposal of the attribute Grammar. In the process of parsing LR text, it means to parse the proposal of ECLR attribute grammar and the generation system. The purpose of this study is to evaluate the purpose of this study. two。 The generation system is improved to make the old version of the generation system, the ISO specification Pascal means to parse the records, and the attribute error rate of the record quantity is improved. (1) normal rules record: the aforementioned Pascal rules fail, and the attribute rules fail 73%. The name of the transfer attribute, the name of the attribute. The name of the thread attribute,... "I made a note of what I was going to do. The number of rows is 20% less, the number of rows is 20% less, and the number of rows is less than 20%. (2) the attribute of the office: the grammar token and the rules of the text are paid with the attribute of the attribute and the attribute of the locale. Attribute grammars are numerical and generational. The common parts of the data are recorded in the first time, and the rate of the attribute is up. The attribute "number of rows", 7% "less". (3) compare him: in the same category, the attribute is specified, the text condition record method is improved, and there are 2941 lines (23%) in the section of meaning and regulation of the text. 3. In the future, in the scope of the attribute Grammar, the target of the period in the attribute Grammar range will be high, the rate of the attribute Grammar will increase, and the attribute Grammar system will start to improve.

项目成果

Ikuo Nakata: Information Processing Letters. 23. 325-328 (1986)

中田郁夫：信息处理信件。