属性値主導型拡張LL(1)文法の提案

概要

論文の詳細を見る
構文解析手法の研究の1つに、先読み記号以外にも属性文法の属性の値を用いる属性値主導構文解析法の研究がある。属性値主導構文解析を用いれば、従来先読み記号だけでは構文解析が不可能な文法も構文解析可能になり、より広い文法クラスが扱える。[1][2]で提案された拡張1パス型属性文法は、拡張LL(1)文法(LL(1)文法に構文の反復などの記述を許した文法)に、属性値主導構文解析のための記法を導入した文法である。しかし[1][2]では、終端記号にしか属性条件(属性値の条件)を記述できないという制限があるため、柔軟な文法記述ができない。例えば、複数の属性条件を1つの終端記号に記述するのではなく、幾つかの構文規則に分散して記述したい場合があるが、[1][2]ではできない。また[1][2]では文法の定式化が十分に行なわれていないという問題もあった。本論文では、[1][2]よりも柔軟な属性値主導構文解析のための記述ができる文法を提案し、その定式化を行う。この文法を属性値主導型拡張LL(1)文法(Atribute-directed Extended LL(1) grammar、以下AELL(1)文法と略す)と呼ぶ。
1994-03-07