双方向性階層的関数型プログラミングBi-HFPとその構文解析への応用
スポンサーリンク
概要
- 論文の詳細を見る
本論文では双方向性階層的関数型プログラミングBi-HFPを提案する. HFPでは, 一つの処理単位をモジュールによって表す. 各モジュールは値の授受のために入力属性, 出力属性のリストをもつが, この属性の値がある条件(結合条件)を満たしたときに, 親モジュールをより簡単な処理を行う子モジュールに分割する. 分割時には, 親, 子モジュール間の属性方程式(意味規則)に従ってさらにいくつかの属性値が決定される. Bi-HFPにおいてはHFPと同一な記述を, 結合条件が満たされたときに子モジュールが親モジュールに統合されるというようにも拡張解釈する. Bi-HFPの記述例としてパーザについて述べる. われわれの方法では, 扱う文脈自由文法の非終端記号をモジュールに, 生成規則をモジュールの分割統合に対応させる. 処理する入力文字列を親モジュールの入力属性に与え, この文字列の先頭が適したものであるかどうかを結合条件に用いるとトップ・ダウン・パーザが記述できる. また, 子モジュールに対応する部分文字列が連続であるかどうかを結合条件とするとボトム・アップ・パーザが得られる. 両方式とも自然言語の意味についての属性, 属性方程式を導入することによって自然言語処理へと拡張することが可能である. われれはまた, Bi-HFPの操作的意味を定義する. Bi-HFPの計算の状態は, モジュールの階層的分割関係を示す木(計算木)の集合により表されるが, この状態に関する2項関係によりBi-HFPの計算過程は定義される.
- 一般社団法人情報処理学会の論文
- 1984-03-15
著者
関連論文
- ソフトウェア科学会第3回大会
- 「論理と自然言語」特集号を編集するにあたって
- ソフトウェア設計プロセス構成法の一提案
- 出力指向の段階的詳細化による設計法
- 人工衛星チェックアウト・システムの基本設計プロセスのプロセス・モデルHFSPによる記述とその評価
- ソフトウェアプロセスの分析と評価(その2)
- ソフトウェア・プロセスを利用した教育用ツールの開発(その2)
- 第4回ソフトウェアプロセスワークショップ
- 属性文法 : 構造指向的かつ関数的計算モデル
- ソフトウェア基礎研究体制の充実を