文献

J-GLOBAL ID：201802258883374453   整理番号：18A0204837

正規表現型を用いた解析表現文法への型付け

著者 (2件)： 山口大輔 (横浜国大 大学院工学府) ,  倉光君郎 (横浜国大 大学院工学府)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 34th  ページ： ROMBUNNO.PPL9-2  発行年： 2017年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本稿では,正規表現型を解析表現文法に型付けする方法について述べる。解析表現文法に型付けられた正規表現型は導出木の集合を表し,導出木の構造(サブノードの数やノードの名前,順序)を記述することができる。解析表現文法に型付けを行う目的は,解析表現文法をベースとしたパーサから出力される導出木の構造について型検査による検証を行うためである。我々は解析表現文法から導出木を出力するパーサへの関係を定義し,この関係に対し型が保存することを確認した。(著者抄録)

シソーラス用語： *正規表現 ,  導出原理 ,  木構造 ,  構文分析 ,  検査 ,  *形式文法 ,  *データ型 ,  型理論
準シソーラス用語： パーザ ,  解析表現文法 ,  型検査 ,  導出規則

分類 (1件)： 数理言語学  (JB05000V)

タイトルに関連する用語 (4件)： 正規表現 ,  解析表現 ,  文法 ,  型付け