@article{oai:ipsj.ixsq.nii.ac.jp:00195816, author = {多田, 拓 and 倉光, 君郎 and Taku, Tada and Kimio, Kuramitsu}, issue = {2}, journal = {情報処理学会論文誌プログラミング(PRO)}, month = {May}, note = {曖昧さのある形式文法から生成されたパーサは異なる解釈をした複数の結果が導出されうる.このような複数の可能性を試すパーサは非線形の計算時間を必要とし,プログラミング言語などの人工言語の構文解析において望ましくない.Parsing Expression Grammar(PEG)の強みは優先度付き選択と貪欲な繰り返しによって曖昧さがないように形式化されている点である.しかしながら,近年の文法推論や自然言語を含んだ解析への応用では曖昧さが重要となっている.本研究では,PEGに文法的な拡張を加えることで,曖昧さを追加した新しい形式化基盤Generalized PEG(GPEG)を提案する.GPEGは決定的なPEGの文法に対して,優先度なし選択を加えた拡張となっている.一般化構文解析手法であるGLRやGLLで構築される曖昧な木とは異なり,曖昧さを文法から制御可能であるため部分的に曖昧な木を構築する.さらに,本研究で提案しているgeneralized packrat parsingによって実用的な時間で構文解析が可能である., Ambiguity in a formal grammar is undesirable in a parser generation of programming languages. The strength of Parsing Expression Grammars (PEGs) is ordered choice and greedy repetition which can eliminate ambiguity from grammars. Nevertheless, the elimination of ambiguity faces several new difficulties in grammar debugging and grammar inference. We propose a formal foundation of Generalized PEGs (GPEG) by introducing unordered choices. The ambiguity is still controlled, and GPEG allows partial ambiguous tree construction, unlike tree forests in a generalized parsing such as GLR and GLL parsing. The practical parsing can be built on a generalized packrat parsing.}, pages = {1--9}, title = {一般化された解析表現文法とPackrat構文解析手法の提案}, volume = {12}, year = {2019} }