解析表現文法を対象とした文法ファイルのチェックツールTamiasの試作

抄録

プログラミング言語の構文定義や静的解析ツールの作成には、構文解析器が不可欠である。構文解析器は通常、入力として構文を定義した形式文法ファイルを必要とするジェネレータで生成する。このとき文法ファイルにミスがある場合、意図しない構文解析器が生成される可能性がある。また、文法ファイルのチェックには、文法ファイルの変更ごとにジェネレータで構文解析器を生成し動作を確認する必要があり、手間と時間がかかる。そこで本研究では、文法ファイルのチェックツールTamiasを試作する。Tamiasのチェック対象は解析表現文法とし、上記の動作確認による手間と時間の削減とともに解析表現文法特有の問題についても検出および検証が可能である。