2022 Fiscal Year Annual Research Report
実用的な構文解析技術と形式言語理論をつなぐ統一的な理論基盤の構築
| Project/Area Number |
20J23184
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
| Research Fellow |
宮嵜 貴之 東京工業大学, 情報理工学院, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2020-04-24 – 2023-03-31
|
| Keywords | 形式言語理論 / 構文解析 / 先読み / 解析表現文法 / 文脈自由文法の微分 / 正規表現 / プログラム意味論 |
|---|
| Outline of Annual Research Achievements |
構文解析において文脈自由文法や解析表現文法(parsing expression grammars)がよく利用されている。そのため、それら2種類の文法の相互運用や理論的な統合を目的とした研究を行った。この研究によって得られた主な結果は次の3点にまとめられる。
(1) 先読み付き文脈自由文法という概念を新たに導入し、それが上述の2種類の文法の拡張となることを示した。これにより構文解析でよく利用される上述の2種類の文法を混ぜて運用することが可能となった。
(2) 先読み付き文脈自由文法に対する適切な意味論を与えた。これは次に示す手順で研究が行われた。まず、空集合からの反復の極限に基づく単純な意味論についての考察を行った。その結果、その意味論には代入と置換によって意味が保たれないという問題があることが明らかになった。そこで、新たな別の意味論として、先読み付き言語の区間の最小解に基づく意味論を与えた。これは論理プログラミングにおけるFittingの意味論と関係があるものとなっており、この新たな意味論の下で上記の問題が解決され、また意味論としてより適切なものとなっていることを示した。
(3) 先読み付き文脈自由文法を用いた文字列の認識アルゴリズムを与えた。このアルゴリズムは文脈自由文法の微分と先読み付き正規表現の微分を組み合わせたものとなっており、入力文字列の長さの3乗時間2乗空間で動作することを示した。
|
| Research Progress Status |
令和4年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和4年度が最終年度であるため、記入しない。
|
