| 講演抄録/キーワード |
| 講演名 |
2011-04-22 09:30
非左再帰的な解析表現文法の構成法 ○松原俊一・小川翔二郎・Marin J. Duerst(青学大) COMP2011-1 |
| 抄録 |
(和) |
解析表現文法は,近年,人工言語の処理系で盛んに使われている.従来言語処理系で基本となってきた文脈自由文法と比べた場合,解析表現文法はいくつかの点で類似しているが,固有の利点も多い.特に注目すべき点として,非文脈自由言語を記述可能にもかかわらず,全て線形時間で構文解析可能な点が挙げられる. より理論的な側面からは,任意の解析表現文法の左再帰性は判定できないことなどが知られている.一方で任意の解析表現文法から非左再帰で等価な解析表現文法を構成できるかは示されていない.本論文では,これを構成する具体的な方法を提案し,その妥当性を示す. |
| (英) |
Parsing expression grammars (PEGs) have recently been used to describe the syntax of artificial languages such as programming languages. Although PEGs look similar to context-free grammars (CFGs), all PEGs have linear-time parsers, and cannot express ambiguous grammars unlike CFGs. From a theoretical point of view, it is undecidable whether a PEG is left-recursive or not. But it has been an open problem whether there is an equivalent non-left-recursive PEG for every PEG. We propose a method which constructs an equivalent non-left-recursive PEG G' from an arbitrary PEG G. And we prove that this method is valid. The PEG G' detects left-recursion by memorizing the history of applied rules in G in nonterminals. |
| キーワード |
(和) |
解析表現文法 / 構文解析 / 文脈自由文法 / 形式言語 / コンパイラ / / / |
| (英) |
parsing expression grammar / parsing / context-free grammar / formal language / compiler / / / |
| 文献情報 |
信学技報, vol. 111, no. 20, COMP2011-1, pp. 1-8, 2011年4月. |
| 資料番号 |
COMP2011-1 |
| 発行日 |
2011-04-15 (COMP) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2011-1 |