研究者総覧
論文
- タイトル
- 限定節文法からPrologプログラムへの２つの変換法の正当性について
- タイトル（英）
- The Correctness of Two Translation Methods from Definite Clause Grammars into Prolog Programs
- 参照URL
- https://researchmap.jp/hideki_hirakawa/published_papers/32300469
- 著者
- 坂井公,平川秀樹,田中裕一,安川秀樹
- 著者（英）
- Ko Sakai,Hideki Hirakawa,Yuichi Tanaka,Hideki Yasukawa
- 担当区分
- 責任著者
- 概要
- 論理型言語Prologと同様に、ホーン論理に基づく限定節文法(DCG)に最小不動点意味論を適用し、文法からPrologプログラムに変換するトップダウン法とボトムアップ法の２つの変換手法を示す。これら変換方法が完全性と健全性を有していることを、最小不動点意味論に基づいて示した。また、ボトムアップ法による構文解析プログラムが終了するための条件についても示している。
- 概要（英）
- 出版者・発行元
- 丸善、Oxford University Press
- 出版者・発行元（英）
- "Maruzen, Oxford University Press"
- 誌名
- Future Computing Systems
- 誌名（英）
- Future Computing Systems
- 巻
- 1
- 号
- 1
- 開始ページ
- 3
- 終了ページ
- 12
- 出版年月
- 1905年6月
- 査読の有無
- 招待の有無
- 掲載種別
- 論文集(書籍)内論文
- ISSN
- DOI URL
- 共同研究・競争的資金等の研究課題
研究者
平川 秀樹
(ヒラカワ ヒデキ)