WEKO3
アイテム
解析表現文法を対象とした構文ファイルのチェックツールTamias の開発
http://hdl.handle.net/10458/6718
http://hdl.handle.net/10458/6718e05de319-4051-428b-8b4e-cedc90c0ea25
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文 (1.4 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-06-21 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 解析表現文法を対象とした構文ファイルのチェックツールTamias の開発 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Tamias: a Syntax File Checker for Parsing Expression Grammar | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | Syntax Analysis, Parser, Parsing Expression Grammar, Packrat Parsing | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| その他（別言語等）のタイトル | ||||||||||||
| その他のタイトル | カイセキ ヒョウゲン ブンポウ オ タイショウ トシ タ コウブン ファイル ノ チェック ツール Tamias ノ カイハツ | |||||||||||
| 言語 | ja-Kana | |||||||||||
| 著者 |
宮地, 俊宏
× 宮地, 俊宏× 片山, 徹郎
WEKO
6484
× Miyaji, Toshihiro |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | Parsing Expression Grammar (PEG) proposed by Bryan Ford has the higher expressive ability than traditional Backus-Naur Form (BNF). PEG is deterministic and has no ambiguity. However, PEG has problems such as “Prefix Capture". “Prefix Capture" is a problem of hiding the language to be accepted according to the order of choice. In addition, when confirming the behavior of the parser, it is possible to check only the top level non-terminal symbols, and it is necessary to rebuild the parser for each change in the syntax file. To support checking syntax files including such mistakes, this paper proposes Tamias: a syntax file checker to support checking the PEG syntax files. Tamias has PEG interpreter which can check production rules of PEG. By using the PEG interpreter, Tamias can verify the behavior of production rules and measure the reach rate. By measuring the reach rate, Tamias can prove that Prefix Capture has not occurred for any input string. | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 48, p. 149-154, 発行日 2019-07 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 宮崎大学工学部 | |||||||||||
| 言語 | ja | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||||||||
| 言語 | en | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 05404924 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA00732558 | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
