構文解析において文脈自由文法や解析表現文法(parsing expression grammars)がよく利用されている。そのため、それら2種類の文法の相互運用や理論的な統合を目的とした研究を行った。この研究によって得られた主な結果は次の3点にまとめられる。 (1) 先読み付き文脈自由文法という概念を新たに導入し、それが上述の2種類の文法の拡張となることを示した。これにより構文解析でよく利用される上述の2種類の文法を混ぜて運用することが可能となった。 (2) 先読み付き文脈自由文法に対する適切な意味論を与えた。これは次に示す手順で研究が行われた。まず、空集合からの反復の極限に基づく単純な意味論についての考察を行った。その結果、その意味論には代入と置換によって意味が保たれないという問題があることが明らかになった。そこで、新たな別の意味論として、先読み付き言語の区間の最小解に基づく意味論を与えた。これは論理プログラミングにおけるFittingの意味論と関係があるものとなっており、この新たな意味論の下で上記の問題が解決され、また意味論としてより適切なものとなっていることを示した。 (3) 先読み付き文脈自由文法を用いた文字列の認識アルゴリズムを与えた。このアルゴリズムは文脈自由文法の微分と先読み付き正規表現の微分を組み合わせたものとなっており、入力文字列の長さの3乗時間2乗空間で動作することを示した。
|