JP3194372B2

JP3194372B2 - パーザ生成器プリプロセッサシステム、パーザ生成器用プリプロセス方法

Info

Publication number: JP3194372B2
Application number: JP28069298A
Authority: JP
Inventors: 敏夫登内
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1998-10-02
Filing date: 1998-10-02
Publication date: 2001-07-30
Anticipated expiration: 2018-10-02
Also published as: JP2000112768A

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はパーザ生成システ
ム、パーザ生成方法およびパーザ生成用プログラムを記
録した記録媒体に関し、特に手続き的な処理プログラム
を記述せずにパーザを容易に記述できるパーザ生成シス
テム、パーザ生成方法およびパーザ生成用プログラムを
記録した記録媒体に関する。

【０００２】

【従来の技術】定義した所望の文法に従い字句列等を構
文解析するパーザ（構文解析器）を自動生成するパーザ
生成システムとして、例えば「インフォメーション・ア
ンド・コントロール、第８巻、第６号、１９６５年（In
formation and Control,Vol.8,No.6）」の第607頁乃
至第639頁に掲載された「オン・ザ・トランスレーショ
ン・オブ・ランゲージ・フロム・レフト・ツー・ライト
（On the Translation ofLanguages from Left to Righ
t）」と題するKnuth,D.E.による論文に記載されているL
ALR構文解析方法を基に、１９９７１年の「プローシー
ディングス・オブ・アイエフアイピー７１（Proc.IFIP
71）」の第513頁ないし第518頁に掲載された「アン・エ
ルエーエルアール・パーザ・ジェネレータ（An LALR
(k) Parser Generator）」と題するLaLondeによる論
文に示すようにパーザを作成するためのツールとして用
いられている。

【０００３】図１８に示すように、この従来のパーザ生
成システムは、パーザ開発者が、文法を記述したＢＮＦ
（Backus Nauer Form）定義ファイル５０と、パーザ
開発者がテキストエディタ１７０を用いて、文法に応じ
た動作を定める「アクション」と呼ぶプログラム記述を
ＢＮＦ定義ファイル５０に追記したアクション付きＢＮ
Ｆ定義ファイル１２０と、アクション付きＢＮＦ定義フ
ァイル１２０を入力としパーザのプログラムファイルを
生成するパーザ生成器１３０と、から構成されている。

【０００４】このような構成を有する従来のパーザ生成
システムは、つぎのように動作する。すなわち、パーザ
開発者はまず、パーズしたい対象の入力文法を定め、こ
れをＢＮＦ定義ファイル５０として記述する。次にパー
ズの結果として生成したい抽象構文木を想定し、パーザ
開発者がテキストエディタ１７０を使って、手続き的処
理を記述したプログラムであるアクションをＢＮＦ規則
の右辺式ごとに追記し、アクション付きＢＮＦ定義ファ
イル１２０とする。

【０００５】そしてアクション付きＢＮＦ定義ファイル
１２０を入力とするパーザ生成器１３０を起動し、パー
ザの動作を記述したプログラムファイル１４０を生成す
る。

【０００６】このプログラムファイルをＣ言語コンパイ
ラなどのコンパイラ１５０でコンパイルすると、パーザ
の実行ファイル１６０が生成される。

【０００７】プログラム実行手段２０が実行ファイル１
６０を起動する。プログラム実行手段２０は、ＢＮＦ定
義ファイル５０で定義された文法に従った入力ファイル
１０を読み込み、入力ファイル１０をパーズし、抽象構
文木を生成し、それを抽象構文データベース３０に格納
するパーザとして動作する。

【０００８】パーザ生成器の動作の方式は、上記ＬＡＬ
Ｒ構文解析方法に基づくものが多く、一部には、ＳＬＡ
方式、ＬＬ（１）方式をとるものもある。

【０００９】

【発明が解決しようとする課題】しかしながら、従来の
パーザ生成システムは、下記記載の問題点を有してい
る。

【００１０】第１の問題点は、パーザの開発が困難であ
る、ということである。

【００１１】その理由は、従来のシステムでは、アクシ
ョンを手続き的処理のプログラムとして記述しているた
めに、Ｃ言語などのプログラミング言語に精通すること
がパーザ開発者に要求されている、ためである。宣言的
な記述であるＢＮＦ定義部分に対し、アクション部分の
記述は、アクションを手続き的に記述する必要があるた
め、その作成は難しい。

【００１２】また、手続き的記述であるアクション部分
のソースコード量は一般に大きい。例えば、ITU X.271
で定められているASN.1文法のパーザを作成するための
アクション付きＢＮＦ定義ファイルのソースコードは、
ＢＮＦ規則が計298行であるのに対して、アクション部
分は計1843行である。

【００１３】第２の問題点は、生成する抽象構文木の仕
様と、生成されたパーザが生成する抽象構文木の不一致
が発生しやすい、ということである。

【００１４】その理由は、アクションの記述が手続き的
であり、抽象構文木の仕様からアクション部分で記述す
る手続きを作成するには隔たりがあるために、パーザ開
発者がアクション部分の記述の作成に際して誤りをおか
しやすいためである。

【００１５】したがって本発明は、上記問題点に鑑みて
なされたものであって、その目的は、入力ファイルを作
成を容易化するパーザ生成器プリプロセッサシステム及
び方法を提供することにある。

【００１６】本発明の他の目的は、少ない記述量でパー
ザを生成できるパーザ生成器プリプロセッサシステム及
び方法を提供することにある。

【００１７】本発明のさらに他の目的は、抽象構文木の
仕様とほぼ一致した表現形態を入力可能とするパーザ生
成器プリプロセッサシステム及び方法を提供することに
ある。

【００１８】

【課題を解決するための手段】前記目的を達成する本発
明のパーザ生成器プリプロセッサシステムは、抽象構文
左辺をキーとし、右辺規則を検索対象とする抽象構文規
則の一覧を格納する抽象構文一覧表と、入力した抽象構
文木定義ファイルを構文解析し、前記抽象構文木定義フ
ァイルの内容に従い抽象構文木定義規則の左辺をキーと
して、右辺の規則を前記抽象構文一覧表に登録する抽象
構文木定義パーザと、入力したＢＮＦ定義ファイルの内
容に従い、前記抽象構文一覧表から抽象構文規則の右辺
式を取り出すＢＮＦパーザと、前記ＢＮＦパーザが取り
出した抽象構文規則の右辺式を表形式で記憶する一覧表
である右辺式一覧表と、前記ＢＮＦパーザが構文解析し
たＢＮＦ規則を一つ格納するＢＮＦ規則格納表と、前記
右辺式一覧表及び前記ＢＮＦ規則格納表を参照し、アク
ション付きＢＮＦ定義ファイルを生成する前記コード生
成手段と、を備える。

【００１９】本発明のパーザ生成器用プリプロセス（パ
ーザ生成器の前処理）方法は、（ａ）抽象構文パーザ
は、抽象構文木定義ファイルを読み込み、その内容に対
応した抽象構文木定義規則を生成し、（ｂ）生成した前
記抽象構文木定義規則の左辺をキーとし、右辺規則を、
抽象構文一覧表に登録し、（ｃ）ＢＮＦパーザでは、Ｂ
ＮＦ定義ファイルを読み込み、左辺ごとにパーズ（構文
解析）し、（ｄ）左辺および文字列“：：=”を、アク
ション付きＢＮＦ定義ファイルに、ＢＮＦ文法規則の一
部として出力し、（ｅ）ＢＮＦ規則を一つパーズし、同
じ左辺を有する抽象構文木定義規則を、前記抽象構文一
覧表から検索して、抽象構文木定義規則の右辺規則を
得、（ｆ）ＢＮＦ右辺式を、アクション付きＢＮＦ定義
ファイルに、ＢＮＦ文法規則の一部として出力し、
（ｇ）前記右辺式一覧表の内容を空白にし、（ｈ）前記
ＢＮＦ右辺式が含む抽象構文木定義規則右辺式を選び出
し、右辺式一覧表に登録し、つづいて、コード生成器に
おいて、（ｉ）ＢＮＦ左辺に相当する構文木ノードを生
成する、（ｊ）左辺ノードに、ＢＮＦ規則右辺対に相当
するノードを枝として追加する、（ｋ）抽象構文ノード
を生成する、（ｌ）シンボルパスの右辺対の連なりに応
じて、ＢＮＦ構文木ノードの枝を辿ってシンボルパスが
指し示すＢＮＦ構文木ノードを得る、（ｍ）取得した前
記ＢＮＦ構文木ノードに付随している抽象構文木ノード
を、前記ＢＮＦ構文木から取り出し、前記（ｋ）で生成
された前記抽象構文木ノードの枝の先に付加する、
（ｎ）前記ＢＮＦ構文木のノードに、前記（ｋ）で生成
された前記抽象構文木のノードを付加する、（ｏ）ＢＮ
Ｆ定義の開始文法規則の戻り値から、抽象構文部分を取
り出す、からなる前記（ｉ）〜（ｏ）の各コードを生成
する、ことを特徴とする。

【００２０】

【発明の実施の形態】本発明の実施の形態について説明
する。本発明のパーザ生成器プリプロセッサは、その好
ましい一実施の形態において、図２を参照すると、抽象
構文一覧表（７０）と、抽象構文木定義パーザ（８０）
と、ＢＮＦパーザ（９０）と、右辺式一覧表（１００）
と、ＢＮＦ規則格納表（１１５）と、コード生成器（１
１０）とを備え、ＢＮＦ定義ファイル（５０）および抽
象構文木定義ファイル（４０）の両ファイルを入力し、
パーザ生成器の入力ファイルであるアクション付きＢＮ
Ｆ定義ファイル（１２０）を生成する。

【００２１】また、本発明のパーザ生成器プリプロッサ
は、好ましい別の実施の形態において、図１０を参照す
ると、抽象構文一覧表（７０）と、抽象構文木定義パー
ザ（８０）と、ＢＮＦパーザ（２１０）と、右辺式一覧
表（１００）と、ＢＮＦ規則格納表（１１５）と、コー
ド生成器（１１０）と、を備え、正しい抽象構文木定義
ファイル（４０）を入力すると、前記一実施の形態と同
様、アクション付きＢＮＦ定義ファイル（１２０）を生
成する。不正な抽象構文木定義ファイル（４０）を入力
すると、パーザ生成器プリプロセッサは異常停止する。

【００２２】また、本発明のパーザ生成器プリプロセッ
サシステムは、別の実施の形態において、図１２を参照
すると、抽象構文一覧表（７０）と、抽象構文木定義パ
ーザ（３８０）と、ＢＮＦパーザ（９０）と、右辺式一
覧表（１００）と、ＢＮＦ規則格納表（１１５）と、コ
ード生成器（３２０）と、抽象構文トークン一覧表（３
１０）と、を備え、ＢＮＦ定義ファイル（５０）および
抽象構文木定義ファイル（４０）を入力すると、前記一
実施の形態よりも、メモリ効率および速度効率のよいア
クション部を有するアクション付きＢＮＦ定義ファイル
（１２０）を生成する。

【００２３】また、本発明のパーザ生成器プリプロセッ
サシステムは、さらに別の実施の形態において、図１６
を参照すると、抽象構文一覧表（７０）と、抽象構文木
定義パーザ（３８０）と、ＢＮＦパーザ（２１０）と、
右辺式一覧表（１００）と、ＢＮＦ規則格納表（１１
５）と、コード生成器（３２０）と、抽象構文トークン
一覧表（３１０）とを備え、正しい抽象構文木定義ファ
イル（４０）を入力すると、前記第一実施の形態よりも
メモリ効率および速度効率のよいアクション部を有する
アクション付きＢＮＦ定義ファイル（１２０）を生成す
る。一方、不正な抽象構文木定義ファイル（４０）を入
力すると、パーザ生成器プリプロセッサは異常停止す
る。

【００２４】次に、本発明の実施の形態について図面を
参照して、詳細に説明する。

【００２５】［実施の形態１］図１は、本発明の第１の
実施の形態の構成を示す図である。図１を参照すると、
本発明の第１の実施の形態は、生成するパーザがパーズ
すべき目的言語入力ファイル１０と、パーザ生成器１３
０が生成するパーザ実行プログラム１６０を実行するプ
ログラム実行手段２０と、パーザとして動作するプログ
ラム実行手段２０が生成した抽象構文木を格納する抽象
構文木データベース３０と、目的入力ファイル１０の文
法を定義したＢＮＦ定義ファイル５０と、抽象構文木を
定義した抽象構文木定義ファイル４０と、ＢＮＦ定義フ
ァイル５０と抽象構文木定義ファイル４０の両者を入力
としアクション付きＢＮＦ定義ファイル１２０を出力す
るパーザ生成器プリプロセッサ６０と、パーザ生成器プ
リプロセッサ６０が出力するアクション付きＢＮＦ定義
ファイル１２０と、アクション付きＢＮＦ定義ファイル
１２０を入力とし、パーザ２０を実現するプログラムが
記述されたプログラムファイル１４０を出力するパーザ
生成器１３０と、パーザの振舞いを記述したプログラム
ファイル１４０と、プログラムファイル１４０を記述す
るプログラミング言語をコンパイルするためのコンパイ
ラ１５０と、コンパイラが生成し、パーザの動作を表す
パーザ実行ファイル１６０と、を含む。

【００２６】図１に示したシステムの動作の概略を説明
すると、パーザ開発者は、ＢＮＦ定義ファイル５０及び
抽象構文木定義ファイル４０を記述し、これらを入力と
してパーザ生成器プリプロセッサ６０を起動する。パー
ザ生成器プリプロセッサ６０は、両ファイルからアクシ
ョン付きＢＮＦ定義ファイル１２０を生成する。生成さ
れたアクション付きＢＮＦ定義ファイル１２０をパーザ
生成器１３０にかけ、パーザ生成器１３０は、パーザの
動作を表すプログラムファイル１４０を生成する。

【００２７】このファイル１４０に対して、コンパイラ
１５０を起動してコンパイルすることで、パーザ実行フ
ァイル１６０が作成される。プログラム実行手段２０を
使ってパーザ実行ファイル１６０を実行すると、目的言
語入力ファイル１０をパーズし、抽象構文木を抽象構文
木データベース３０に格納するパーザが動作することに
なる。

【００２８】図２は、本発明の第１の実施の形態におけ
るパーザ生成器プリプロセッサ６０の構成を示すブロッ
ク図である。図２を参照すると、抽象構文一覧表７０
は、抽象構文の左辺をキーとし、右辺規則を検索対象と
する一覧表である。抽象構文木定義の左辺を与えると、
その右辺規則を得ることができる。

【００２９】抽象構文木定義パーザ８０は、抽象構文木
定義ファイル４０をパーズし、抽象構文一覧表（「抽象
構文木定義一覧表」ともいう）７０を、抽象構文木定義
ファイル４０の内容に従い埋める。

【００３０】ＢＮＦパーザ９０は、ＢＮＦ定義ファイル
５０の内容に従い、抽象構文一覧表７０から右辺式を取
り出し、取り出した右辺式を、右辺式一覧表１００およ
びＢＮＦ規則格納表１１５に格納する。

【００３１】右辺式一覧表１００は、ＢＮＦパーザ９０
とコード生成器１１０の一時記憶装置として用いられ、
抽象構文木定義（抽象構文木定義規則）の右辺式を表形
式で記憶する記憶手段である。

【００３２】ＢＮＦ規則格納表１１５は、ＢＮＦパーザ
９０がパーズしたＢＮＦ規則を一つ一時的に格納する記
憶手段である。

【００３３】コード生成器１１０は、右辺式一覧表１０
０およびＢＮＦ規則格納表１１５を参照して、アクショ
ン付きＢＮＦ定義ファイル１２０を生成する。

【００３４】図３に、ＢＮＦ定義ファイル５０の文法
（生成規則）の一例を示す。ＢＮＦ定義ファイル５０は
ＢＮＦ規則の集まりである。

【００３５】ＢＮＦ規則は、一つの左辺と、一つの右辺
規則から構成される。左辺と右辺規則は、記号列“：：
＝”で区切られる。

【００３６】右辺規則は、複数の右辺式から成り立つ。
右辺規則の末尾は記号“；”で終了する。右辺式同士は
記号“│”で区切られる。

【００３７】右辺式は、０個、１個もしくは複数個の右
辺と右辺値の組で構成される。この組を「右辺対」と呼
ぶ。

【００３８】右辺は、左辺を参照、もしくは入力ファイ
ル１０中の文字列を表す。

【００３９】右辺値は、同じ右辺式の中で、同じ右辺が
複数個現れたときに、区別するための識別子である。右
辺と右辺値の間は記号“：”で区切られる。

【００４０】図４に、抽象構文木定義ファイル４０の文
法の一例を示す。

【００４１】抽象構文木定義規則は、複数の抽象構文規
則から構成される。

【００４２】抽象構文規則は、一つの左辺と、一つの右
辺規則から構成される。左辺と右辺規則は、記号
列“：：＝”で区切られる。左辺は、ＢＮＦ定義中に全
く同一の左辺が存在することが必要である。

【００４３】右辺規則は、複数の右辺式から成り立つ。
右辺規則の末尾は記号“；”で終了する。右辺式同士は
記号“│”で区切られる。

【００４４】右辺式は０個、１個、もしくは複数個の枝
名とシンボルパスの組から構成される。枝名は、抽象構
文木の枝を指し示す識別子である。シンボルパスは１又
は複数の右辺と右辺値の組である右辺対で構成される。
右辺対の間は記号“．”で区切られる。右辺対は、全く
同一の右辺対が、ＢＮＦ定義中に存在するものとする。

【００４５】ＢＮＦ定義および抽象構文木定義で現れる
左辺および右辺にあたる識別子は「トークン」と呼ばれ
る。

【００４６】ＢＮＦ定義ファイル５０の意味は、多くの
参考文献、例えば、佐々政孝によるい「１９８９年、１
０月刊の「プログラミング言語処理系」（岩波講座ソフ
トウェア科学）の第１０４頁から１０５頁の記載が参照
される。

【００４７】抽象構文木定義ファイル４０の意味を、図
５に示す木状のデータとして示す。図５（Ａ）は、ＢＮ
Ｆ定義を表す「ＢＮＦ構文木」と呼ぶデータ構造の一例
を示す図である。木のノードが、ＢＮＦ規則の左辺に相
当し、そのノードから伸びる枝の先が、ＢＮＦ定義の右
辺対に相当する。また、そのノードも、他のＢＮＦ規則
の左辺であり、その右辺対を枝の先に有する。枝の末端
（リーフ）が、入力ファイル内に含まれる文字列に対応
する。

【００４８】一方、図５（Ｂ）は、抽象構文木に相当す
る。木のノードが抽象構文規則左辺に相当する。ノード
から延びる枝は識別子として枝名を有する。枝の先に
は、シンボルパスが指し示すノードがついている。その
ノードも、抽象構文木規則左辺であり、枝を有する。抽
象構文左辺はＢＮＦ定義の左辺のいずれかであるので、
抽象構文木のノードは、図５（Ａ）に示したＢＮＦ構文
のデータ構造のノードのいずれかに対応する。

【００４９】抽象構文木ノードがＢＮＦ構文木のどのノ
ードに当たるか対応関係を示すのが、シンボルパスであ
る。シンボルパスは抽象構文左辺ノードに対応するＢＮ
Ｆ構文木ノードからどのように枝を辿れば、抽象構文木
ノードに対応するＢＮＦ構文木のノードに行き着くかを
示す。このようにして、ＢＮＦ定義ファイル５０と抽象
構文木定義ファイル４０を用いて抽象構文木を定めるこ
とができる。

【００５０】図１および図２に示した手段はそれぞれ概
略つぎのように動作する。

【００５１】目的言語入力ファイル１０は、パーザに対
する入力であり、ＢＮＦ定義ファイル５０で定義された
文法に従って、その中身が記述されている。

【００５２】プログラム実行手段２０は、与えられたパ
ーザ実行プログラム１６０に従って動作する。つまり、
ＢＮＦ定義ファイル５０で定義された文法に正しく従っ
た入力ファイルをパーズし、抽象構文定義ファイル５０
で定められた抽象構文木と呼ぶデータ構造を生成するパ
ーザとして振る舞う。

【００５３】抽象構文データベース３０は、抽象構文木
を一又は複数格納する。検索処理要求に対して、抽象構
文木内の適切なノードを問い合わせ者に返却する。

【００５４】ＢＮＦ定義ファイル５０は、パーザが正し
く受理する文法を定める。ＢＮＦ定義ファイル５０の文
法を、図３に示す。このＢＮＦ定義ファイル５０は、パ
ーザ開発者が記述する。

【００５５】抽象構文木定義ファイル４０は、パーザが
出力する抽象構文木を定義する。抽象構文木定義ファイ
ルの文法を図４に示す。抽象構文木定義ファイルは、パ
ーザ開発者が記述する。

【００５６】パーザ生成器プリプロセッサ６０は、ＢＮ
Ｆ定義ファイル５０および抽象構文木定義ファイル４０
の両ファイルを入力とし、アクション付きＢＮＦ定義フ
ァイル１２０を生成する。アクション付きＢＮＦ定義フ
ァイル１２０のＢＮＦ部分は、ＢＮＦ定義ファイル５０
とまったく同一の内容である。パーザ生成器プリプロセ
ッサ６０は、ＢＮＦ定義ファイル５０および抽象構文木
定義ファイル４０からアクションを生成し、アクション
付きＢＮＦ定義ファイル１２０とする。

【００５７】アクション付きＢＮＦ定義ファイル１２０
は、従来のパーザ生成器の入力であるアクション付きＢ
ＮＦ定義ファイル１２０とまったく同一である。

【００５８】アクション付きＢＮＦ定義ファイル１２０
は、ＢＮＦ定義部分とＢＮＦ定義の右辺式毎に設けられ
たプログラムであるアクション部分とから構成される。
後者は、抽象構文木を構築するプログラムに相当する。

【００５９】パーザ生成器１３０は、従来のシステムの
パーザ生成器１３０と同一であり、アクション付きＢＮ
Ｆ定義ファイル１２０を入力とし、パーザの動作を表す
プログラムであるプログラムファイル１４０を生成す
る。

【００６０】プログラムファイル１４０は、パーザの動
作を表すプログラムである。このプログラムファイル
は、Ｃ言語やJavaなどの一般的なプログラミング言語で
記述される。

【００６１】コンパイラ１５０は、プログラムファイル
１４０を記述しているプログラミング言語で記述された
プログラムを、プログラム実行手段２０が解釈するパー
ザ実行ファイル１６０に変換する。

【００６２】パーザ実行ファイル１６０は、プログラム
実行手段２０が動作する手順を書いたプログラム実行手
段２０が解釈可能なファイルである。

【００６３】図２を参照すると、抽象構文一覧表７０は
抽象構文木定義をパーズした結果を記録し、抽象構文木
左辺から抽象構文木定義右辺規則を得ることができる一
覧表である。この一覧表はＢＮＦパーザが使用する。

【００６４】抽象構文木パーザ８０は、抽象構文木定義
ファイル４０をパーズし、その内容を抽象構文一覧表７
０に登録する。

【００６５】ＢＮＦパーザ９０は、ＢＮＦ定義ファイル
５０を読み込み、第１の動作として、ＢＮＦ規則格納表
１１５にＢＮＦ規則を格納する。第２の動作として、Ｂ
ＮＦ規則の左辺と同じ左辺を持つ抽象構文木定義規則の
右辺規則を得、右辺式一覧表１００にそれを登録する。

【００６６】コード生成器１１０は、右辺式ごとに、Ｂ
ＮＦパーザ９０から受け取ったＢＮＦ規則をアクション
付きＢＮＦ定義ファイ１２０ルのＢＮＦ部分として出力
する。加えて、右辺式一覧表１００から得た、抽象構文
木定義規則の右辺規則を基に、アクション付きＢＮＦ定
義ファイル１２０のアクション部分を生成する。

【００６７】次に、図１及び図２のブロック図、図６、
図７及び図８のフローチャートを参照して、本発明の第
１の実施の形態の全体の動作について詳細に説明する。

【００６８】まず、抽象構文木パーザ８０が抽象構文木
定義ファイル４０を読み込み、構文解析を行う（図６の
ステップＡ１０）。

【００６９】次に、抽象構文パーザ８０は、抽象構文木
定義ファイル４０内のすべての抽象構文木定義規則につ
いて、左辺をキーにし、右辺規則を抽象構文一覧表７０
に登録する（ステップＡ２０）。

【００７０】抽象構文木定義ファイル４０のパーズが終
了したら、次に、ＢＮＦパーザ９０がＢＮＦ定義ファイ
ル５０をＢＮＦ規則ごとにパーズし、得たＢＮＦ規則を
ＢＮＦ規則格納表１１５に登録する（ステップＡ３
０）。

【００７１】ＢＮＦ定義ファイル５０に、ＢＮＦ規則が
あれば、ＢＮＦ規則をパーズするステップＡ４５に進
み、ステップＡ４５からステップＡ９０までの処理を、
左辺がつきるまで行う。左辺式がなければステップＡ４
０に進む。

【００７２】ステップＡ４０では、コード生成器１１０
は、「ＢＮＦ定義の開始文法規則の戻り値から抽象構文
部分を取り出す。」というコードを生成し、コード生成
を終了する。

【００７３】ステップＡ４５では、コード生成器１１０
は、左辺および文字列“：：＝”を、アクション付きＢ
ＮＦ定義ファイル１２０に、ＢＮＦ文法規則の一部とし
て、出力する。

【００７４】続いて、ＢＮＦパーザ９０は、ＢＮＦ規則
左辺と同じ左辺を有する抽象構文規則を、抽象構文一覧
表７０から検索し、その抽象構文木規則右辺規則を得る
（ステップＡ５０）。得た右辺規則から右辺式を順次
得、各右辺式ごとに、ステップＡ６５からステップＡ９
０の一連の処理を行う（ステップＡ６０）。

【００７５】もし、右辺式が尽きたら、ステップＡ４５
からＡ９０までの一連の処理を次のＢＮＦ規則におい
て、繰り返す。

【００７６】まず、コード生成器１１０は、ＢＮＦ右辺
式をＢＮＦ文法規則の一部として、アクション付きＢＮ
Ｆ定義ファイル１２０に出力する（ステップＡ６５）。

【００７７】ＢＮＦパーザ９０は、右辺式一覧表１００
の内容を空白にする（ステップＡ７０）。

【００７８】次にＢＮＦパーザ９０は、ステップＡ６０
で得た抽象構文木定義規則の右辺式のうち、ＢＮＦ右辺
式が「含む」抽象構文木定義規則右辺式を選び出し、右
辺式一覧表１１０に登録する。

【００７９】ここで、「含む」とは、抽象構文木定義規
則右辺式に含まれるすべてのシンボルパスについて、Ｂ
ＮＦ右辺式の右辺対からシンボルパスどおりＢＮＦ構文
を辿ることができるノードが存在していることをいう。

【００８０】ＢＮＦ右辺式に含まれる左辺を共有する抽
象構文木定義規則中のすべての抽象構文木定義規則右辺
式について、「含む」か「含まない」か判断し終わった
ら、コード生成器１１０がアクションコードの生成を行
う（ステップＡ９０）。

【００８１】図７及び図８は、図６のステップＡ９０の
アクションコード生成の処理フローを示す流れ図であ
る。

【００８２】まず、アクション付きＢＮＦ定義ファイル
１２０のアクション部分として、コード生成器１１０
は、「ＢＮＦ定義左辺に相当するＢＮＦ構文木のノード
（仮に「ａ」とする）を生成する。」というコードを生
成する（ステップＢ１０）。

【００８３】次にＢＮＦ定義の右辺式の中にある右辺対
ごとに繰り返し、以下のステップＢ３０からステップＢ
４０の処理を行う。

【００８４】もし、右辺式中のすべての右辺対について
処理を終えたならば、ステップＢ５０の処理に進む。

【００８５】コード生成器１１０は、アクション付きＢ
ＮＦ定義ファイル１２０のアクション部分として、「ノ
ードaに、ＢＮＦ規則右辺対に相当するＢＮＦ構文木ノ
ード（仮に「ｂ」とする）を枝として追加する。」とい
う動作を行うコードを生成する（ステップＢ３０）。

【００８６】そして、次のＢＮＦ右辺式の右辺対に進
み、ステップＢ３０を繰り返す（ステップＢ４０）。

【００８７】コード生成器１１０は、アクション付きＢ
ＮＦ定義ファイル１２０のアクション部分として、「抽
象構文ノードＡを生成する。」という動作を行うコード
を生成する（ステップＢ５０）。

【００８８】コード生成器１１０は、右辺式一覧表１０
０から抽象構文木定義規則の右辺式を一つずつ取り出
し、その右辺式の個数分だけ以下のステップＢ８０から
ステップＢ１２０の処理を行う（ステップＢ７０）。

【００８９】コード生成器１１０が、すべての右辺式に
ついて処理を終えていたら、ステップＢ１３０の処理を
行う。

【００９０】コード生成器１１０は、取り出した抽象構
文木定義の右辺式からシンボルパスを一つずつ取り出
し、それぞれについてステップＢ９０からステップＢ１
１０の一連の処理を繰り返し行う（ステップＢ８０）。

【００９１】コード生成器１１０が、右辺式中のすべて
のシンボルパスについてステップＢ９０からステップＢ
１１０の一連の処理を終えたならば、ステップＢ１２０
に進む。

【００９２】コード生成器１１０は、アクション付きＢ
ＮＦ定義ファイル１２０のアクション部分として、「シ
ンボルパスの右辺対の連なりに応じてＢＮＦ構文木ノー
ド（例えば「ｂ」とする）の枝を手繰ってシンボルパス
が指し示すＢＮＦ構文木ノード（仮にこれを「ｃ」とす
る）を得る手続きをする。」という動作を行うコードを
生成する（ステップＢ９０）。

【００９３】続いて、コード生成器１１０は、アクショ
ン付きＢＮＦ定義ファイル１２０のアクション部分とし
て、「ＢＮＦ構文木のノードｃに添付している抽象構文
木のノード(仮にこれをＣとする)をｃから取り出し、抽
象構文ノードＡの枝の先にＣをくっつける」という動作
を行うコードを生成する。このとき、枝名はシンボルパ
スに対応する枝名とする（ステップＢ１００）。

【００９４】そして、抽象構文木規則の右辺式中のシン
ボルパスの一つについて処理が終了したので、右辺式中
の次のシンボルパスについて同じ処理を繰り返す（ステ
ップＢ１１０）。

【００９５】抽象構文木定義規則の右辺式において、す
べてのシンボルパスについての処理が終了したら、抽象
構文木定義規則右辺規則の次の右辺式を取り出し、ステ
ップＢ８０からステップＢ１２０の処理を行う（ステッ
プＢ１２０）。

【００９６】右辺式一覧表１００において登録されたす
べての右辺式について、ステップＢ８０からステップＢ
１２０の処理が終了したら、コード生成器１１０は、ア
クション付きＢＮＦ定義ファイル１２０のアクション部
分として、「ＢＮＦ構文木のノードaに抽象構文木のノ
ードＡを添付する。」という動作を行うコードを生成す
る（図８のステップＢ１３０）。

【００９７】以上のステップＢ１０からＢ１３０の一連
の処理により、アクション付きＢＮＦ定義ファイル１２
０のアクション部分のコード生成用副処理を終え、ＢＮ
Ｆ右辺式ごとに、次のような処理を行うアクション部分
のコードが生成される。

【００９８】ＢＮＦ左辺に相当する構文木ノード（仮に
「ａ」とする）を生成する。

【００９９】ノードaに、ＢＮＦ規則右辺対に相当する
ノード（仮に「ｂ」とする）を枝として追加する。この
追加はＢＮＦ右辺式中の右辺対の数だけ行う。

【０１００】抽象構文ノードＡを生成する。

【０１０１】シンボルパスの右辺対の連なりに応じてＢ
ＮＦ構文木ノード（例えば「ｂ」）の枝を手繰ってシン
ボルパスが指し示すＢＮＦ構文木ノード（仮に、これを
「ｃ」とする）を得る。この処理は、ＢＮＦ規則右辺式
に含まれる左辺を、ＢＮＦ右辺式と共有する抽象構文右
辺式が有するシンボルパスの数だけ行う。

【０１０２】得られたＢＮＦ構文木ノードｃに添付して
いる抽象構文木ノード(仮にこれを「Ｃ」とする)をｃか
ら取り出し、抽象構文ノードＡの枝の先にＣをくっつけ
る。この処理は、ＢＮＦ規則右辺式に含まれる左辺を、
ＢＮＦ右辺式と共有する抽象構文右辺式が有するシンボ
ルパスの数だけ行う。

【０１０３】ＢＮＦ構文木ａに抽象構文木定義Ａを添付
する。

【０１０４】次に、本発明の第１の実施の形態の効果に
ついて説明する。

【０１０５】本発明の第１の実施の形態においては、パ
ーザ開発者が記述するものは、ＢＮＦ定義ファイル５０
と抽象構文木定義ファイル４０である。これらは、それ
ぞれ図４、図５に示すように、手続き的な処理を記述す
る必要がないため、プログラミングの知識のないパーザ
開発者でも、容易にパーザの開発が可能である。

【０１０６】また、本発明の第１の実施の形態におい
て、さらに、抽象構文木定義ファイル４０の内容が、パ
ーザが出力すべき抽象構文木の仕様に近い形で記述でき
るために、仕様とパーザプログラムの不一致を防ぐこと
ができる。

【０１０７】また、本発明の第１の実施の形態では、さ
らに、アクションの手続きを記述するよりも抽象構文木
を記述した方がパーザ開発者の作成する入力行数が少な
くて済む。例えば、ITU X.271で定められているASN.1
文法のパーザを作成するためのアクション付きＢＮＦ定
義ファイルの行数は２３３０行に対して、本実施の形態
では、ＢＮＦ定義ファイル５０と抽象構文木定義ファイ
ル４０を合わせて８５９行である。

【０１０８】［実施例１］本発明の第１の実施の形態に
ついてさらに詳細に説明すべく、具体的な実施例に即し
て説明する。

【０１０９】図９（Ａ）に示すＢＮＦ定義ファイル５０
と、図９（Ｂ）に示す抽象構文木定義ファイル４０を入
力とした場合のパーザ生成器プリプロセッサ６０の動作
について説明する。

【０１１０】まず、抽象構文パーザ８０が、抽象構文木
定義ファイル４０を読み込み、その抽象構文木を作成す
る（図６のステップＡ１０）。

【０１１１】この場合、抽象構文木定義中に含まれる抽
象構文木定義規則は一つである。これを、抽象構文一覧
表７０に登録する（ステップＡ２０）。

【０１１２】このとき、キーは、左辺“a”であり、右
辺規則は、 “(b1)b：e1.d：e1(b2)b：e1.d：e1.e：e1(b3)c：e2
│；” である。

【０１１３】次に、ＢＮＦパーザ９０がＢＮＦ定義ファ
イル５０をパーズし、その左辺ごとに処理を行う（ステ
ップＡ３０）。

【０１１４】まず左辺“a”について処理を行う。すな
わちコード生成器１１０は、左辺“a”および文字
列“：：=”を、アクション付きＢＮＦ定義ファイル１
２０に出力する（ステップＡ４５）。このとき、ＢＮＦ
パーザ９０は、左辺“a”および、右辺規則“b：e1 c：
e2；”を、ＢＮＦ規則格納表１１０に登録する。

【０１１５】続いて、ＢＮＦパーザ９０は、抽象構文一
覧表７０から左辺“a”を有する抽象構文木定義の右辺
規則、 “(b1) b：e1.d：e1 (b2) b：e1.d：e1.e：e1 (b3) c：
e2│；” を得る（ステップＡ５０）。

【０１１６】ＢＮＦ右辺規則から右辺式を順次得る（ス
テップＡ６０）。

【０１１７】最初は、“b：e1 c：e2”である。この右
辺式を、アクション付きＢＮＦ定義ファイル１２０に出
力する（ステップＡ６５）。

【０１１８】これにより、アクション付きＢＮＦ定義フ
ァイル１２０の内容は、“a：：=b：e1 c：e2”とな
る。

【０１１９】この右辺規則に対して、まず、ＢＮＦパー
ザ９０は、右辺式一覧表１００の中身をクリアし、空に
する（ステップＡ７０）。

【０１２０】次に、ＢＮＦパーザ９０は、抽象構文木定
義の右辺式の中で、ＢＮＦ右辺式規則“b：e1 c：e2”
が「含む」右辺式を求める（ステップＡ８０）。

【０１２１】求める右辺式は、 “(b1) b：e1.d：e1 (b2) b：e1.d：e1.e：e1 (b3) c：
e2” である。というのは、シンボルパス“b：e1.d：e1”
は、ＢＮＦ右辺式中の“b：e1”から、“b”を左辺とす
るＢＮＦ規則を得、“b”を左辺とするＢＮＦ規則中の
右辺規則の中に“d：e1”が含まれる。

【０１２２】シンボルパス“b：e1.d：e1.e：e1”は、
ＢＮＦ右辺式中の“b：e1”から、“b”を左辺とするＢ
ＮＦ規則を得、“b”を左辺とするＢＮＦ規則中の右辺
規則の中に“d：e1”が含まれる。

【０１２３】さらに“d”を左辺とするＢＮＦ規則中の
右辺規則の中に“e：e1”が含まれる。

【０１２４】シンボルパス“c：e2”について、右辺対
“c：e2”は、ＢＮＦ定義右辺式中に存在する。

【０１２５】以上３点より、抽象構文右辺式中の３つの
シンボルパスは、すべて右辺式“b：e1c：e2”に含まれ
るためである。

【０１２６】そして、アクションコード生成処理を行う
（ステップＡ９０）。ステップＡ９０での処理は、次の
通りである。

【０１２７】まず、コード生成器１１０は、「ＢＮＦ左
辺“a”に相当するＢＮＦ構文木のノード(仮に「node−
a」とする)を生成する。」というコードをアクション付
きＢＮＦ定義ファイル１２０に出力する（図７のステッ
プＢ１０）。

【０１２８】以下、“b：e1 c：e2”の右辺対“b：e
1”,“c：e2”ごとに以下の処理を行う。

【０１２９】まず、“b：e1”について、「“b：e1”の
右辺“b”に相当するＢＮＦ構文木のノードを生成し
（仮に「node−b」とする）、node−bをnode−aの枝の
先に加える。」というコードをコード生成器１１０が生
成する（ステップＢ３０）。

【０１３０】右辺対“c：e2”に対しても同様の処理を
行う。

【０１３１】次に、コード生成器１１０は、「抽象構文
木定義左辺“a”に相当するノード（仮に「node−A」と
する）を生成する。」というコードを生成する(ステッ
プＢ５０)。

【０１３２】そして、コード生成器１１０は、右辺式一
覧表１００から、抽象構文木定義右辺式を順次取り出す
（ステップＢ７０）。

【０１３３】この場合、右辺式は、“(b1) b：e1.d：e1
(b2) b：e1.d：e1.e：e1 (b3) c：e2”の一つのみであ
る。この右辺式について、順次シンボルパスを取り出す
（ステップＢ８０）。

【０１３４】まず、“b：e1.d：e1”である。コード生
成器１１０は、「シンボルパスに従ってＢＮＦ構文ノー
ドを取り出す。」というコードを生成する（ステップＢ
９０）。

【０１３５】つまり、「まず、b：e1に相当するＢＮＦ
構文ノードnode−bを取り出し、次にnode−bの枝の先に
ついているd：e1に相当するノードを、node−cをnode−
bの枝から取り出す。」というコードを生成する。

【０１３６】そして、「node−Cからそれに付随した抽
象構文ノード（仮に「node−C」とする）を得、抽象構
文木ノードnode−Aの枝“b1”の先にnode−Cを追加す
る。」というコードを生成する（ステップＢ１００）。

【０１３７】残るシンボルパスは、“b：e1.d：e1.e：e
1”と“c：e2”である。これらについても、“b：e1.
d：e1”と同様に、ステップＢ９０からステップＢ１０
０の処理を行う。

【０１３８】右辺式一覧表１００に登録された右辺式
は、一つのみであるため、ステップＢ１３０に進み、
「node−aにnode−Aを付随させる。」というコードを生
成する（ステップＢ１３０）。

【０１３９】以上で、右辺式“b：e1 c：e2”に対する
アクションコードの生成を終了する。

【０１４０】右辺式“b：e1 c：e2”に対する処理が終
了したので、次に右辺式“”についての処理を行う。右
辺式“”に含まれる右辺対は0個である。

【０１４１】まず、コード生成器１１０は、右辺式をア
クション付きＢＮＦ定義ファイル１２０に出力する（ス
テップＡ６５）。この場合、“│”も含めて、“│”を
出力する。

【０１４２】そして、ＢＮＦパーザ９０は、右辺式一覧
表１００をクリアする（図６のステップＡ７０）。

【０１４３】抽象構文右辺規則“(b1) b：e1.d：e1 (b
2) b：e1.d：e1.e：e1 (b3) c：e2│；”の中で、ＢＮ
Ｆ右辺式に含まれるものを調べる。このとき、抽象構文
規則の右辺式は“”の１つのみである。これは、抽象構
文右辺式中の右辺対は全く存在しない。このため、抽象
構文右辺対の中にＢＮＦ含まれないものは存在しない。
そのため、抽象構文右辺式“”はＢＮＦ右辺式“”に含
まれると考える。ＢＮＦパーザ９０は、右辺式一覧表１
００に、“”を一つのみ登録する（ステップＡ８０）。

【０１４４】そして、このＢＮＦ右辺式に対してアクシ
ョンコード生成を行う（ステップＡ９０）。

【０１４５】次にステップＡ９０の詳細について説明す
る。

【０１４６】まず、コード生成器１１０は、「ＢＮＦ左
辺“a”に相当する構文木ノードnode−aを生成する。」
というコードを生成する(図７のステップＢ１０)。

【０１４７】次に、コード生成器１１０は、ＢＮＦ右辺
対ごとの処理を行うが、右辺対が存在しないため、何も
せず、ステップＢ５０に進む。

【０１４８】コード生成器１１０は、「抽象構文木ノー
ドnode−Aを生成する。」というコードを生成する。

【０１４９】そして、コード生成器１１０は、右辺式一
覧表１００から抽象構文木定義右辺式を取り出し、それ
ぞれについて処理を行う（ステップＢ７０）。ただし、
今回、右辺一覧表１００に登録された右辺式は″の一つ
である。“”が含む右辺対について、それぞれステップ
Ｂ８０からステップＢ１１０の処理を行うが、“”が含
む右辺対は、０個であるため、これらの処理は行われな
い。

【０１５０】ステップＢ１３０に進み、コード生成器１
１０は「node−aにnode−Aを付随させる。」というコー
ドを生成する（ステップＢ１３０）。以上で、右辺式に
対するアクションコードの生成を終了する。

【０１５１】そして、ＢＮＦ左辺“a”についての処理
も終了し、次にＢＮＦ左辺“b”についての処理とな
る。コード生成器１１０は左辺“b”および文字
列“：：=”をアクション付きＢＮＦ定義ファイル１２
０に出力する（ステップＡ４５）。

【０１５２】次にＢＮＦパーザ９０は、抽象構文一覧表
７０から左辺“b”を有する抽象構文木定義右辺規則を
得ようとする（ステップＡ５０）。

【０１５３】しかし、該当する右辺規則は０個である。

【０１５４】次にＢＮＦ右辺規則“d：e1 f：e2；”か
ら右辺式を得る（ステップＡ６０）。この場合、右辺式
は“d：e1 f：e2”一個である。

【０１５５】右辺式“d：e1 f：e2”について、まず、
コード生成器１１０は、“d：e1 f：e2”をアクション
付きＢＮＦ定義ファイル１２０のＢＮＦ部分の一部とし
て出力する（ステップＡ６５）。

【０１５６】そして、右辺式一覧表１００の中身をクリ
アする（ステップＡ７０）。

【０１５７】続いてＢＮＦ構文右辺式が含む抽象構文右
辺式を見つけようとする(ステップＡ８０)。

【０１５８】しかし、抽象構文右辺規則がないので、含
む右辺式は存在しない。ゆえに、右辺式一覧表１００は
空のままである。

【０１５９】そして、ＢＮＦパーザ９０は、アクション
コード生成処理を行う(ステップＡ９０)。

【０１６０】コード生成器１１０は、「ＢＮＦ左辺
“b”に相当するＢＮＦ構文木のノード(仮に「node−
b」とする)を生成する。」というコードをアクション付
きＢＮＦ定義ファイル１２０に出力する（ステップＢ１
０）。

【０１６１】以下、“d：e1 f：e2”の右辺対“d：e
1”,“f：e2”ごとに以下の処理を行う。まず、“d：e
1”について、「“d：e1”に相当するＢＮＦ構文木のノ
ードを生成し（仮に「node−d」とする）、node−dをno
de−bの枝の先に加える。」というコードをコード生成
器１１０が生成する（ステップＢ３０）。

【０１６２】ノード“f：e2”に対しても同様の処理を
行う。ここで、左辺“b”に対応する抽象構文規則はな
いので、“d：e1 f：e2”に対するアクションコードの
生成が終了する。

【０１６３】左辺“b”の有する右辺は、“d：e1 f：e
2”のみなのであるため、左辺“b”に対する処理が終了
する。

【０１６４】続いて、左辺“c”,“d”,“f”に対して
も左辺“b”と同様の処理を行う。

【０１６５】このようにして、すべてのＢＮＦ定義のす
べての左辺について処理を終えるとステップＡ４０に進
む。ここで、最終的に得られたＢＮＦ構文木には、抽象
構文木ノードが付随している。

【０１６６】そこで、コード生成器１１０は、「得られ
たＢＮＦノードに付随した抽象構文木ノードを取り出
し、抽象構文木とする。」というコードを生成する（ス
テップＡ４０）。

【０１６７】［実施の形態２］次に、本発明の第２の実
施の形態について図面を参照して詳細に説明する。

【０１６８】図１０は、本発明の第２の実施の形態のパ
ーザ生成器プリプロセッサ６０の構成を示す図である。
本発明の第２の実施形態は、前記第１の実施形態のＢＮ
Ｆパーザ９０を、ＢＮＦパーザ２１０で置き換えたもの
である。全体のシステム構成は、前記実施の形態と同
様、図１に示した構成からなる。

【０１６９】ＢＮＦパーザ２１０は、ＢＮＦパーザ９０
と同様に、ＢＮＦ定義ファイル５０を読み込みパーズ
し、その結果を、ＢＮＦ規則格納表１１５および右辺式
一覧表１００に格納する。この際、右辺式一覧表１００
に登録する要素の数を検査し、それが０個のときに処理
を停止する機能を有する。

【０１７０】図１１は、本発明の第２の実施の形態の処
理フローを示す流れ図である。図１０及び図１１を参照
して、本発明の第２の実施の形態の全体の動作について
詳細に説明する。

【０１７１】図１１に示すように、ステップＡ１０から
ステップＡ８０は、図６に示した前記第１の実施の形態
の処理とまったく同じ処理である。また、ステップＡ９
０のアクション生成処理は、図７に示した前記第１の実
施の形態の副処理と同一である。さらに、ステップＡ１
００も同じである。

【０１７２】ただし、ステップＡ８０の後に、ＢＮＦパ
ーザ２１０は、右辺一覧表１００に登録されている抽象
構文の右辺式の数を調べる。もし、抽象構文右辺規則が
存在し、かつ、右辺一覧表１００に登録されている右辺
式の数が０ならば、ＢＮＦパーザ２１０は処理を中断
し、異常停止する。

【０１７３】右辺式が一つもないということは、抽象構
文木定義が誤っていることを示す。もし、１個以上存在
すれば、ステップＡ９０に進み、前記第１の実施形態と
同じ処理を行う。

【０１７４】次に、本発明の第２の実施の形態の作用効
果について説明する。

【０１７５】本発明の第２の実施の形態では、前記第１
の実施の形態の作用効果に加えて、不正な抽象構文木定
義ファイルの内容を予め検査するために、パーザ開発者
は早期に抽象構文木定義ファイルの過ちに気づくことが
でき、正しいパーザを作成することができる。

【０１７６】［実施例２］次に、本発明の第２の実施の
形態についてさらに詳細に説明すべく、具体的な実施例
に即して説明する。

【０１７７】図１５（Ａ）に示すＢＮＦ定義ファイル５
０および図１５（Ｂ）に示す抽象構文木定義ファイル４
０を入力として、パーザ生成器プリプロセッサ６０を起
動した場合を考える。

【０１７８】まず、図１２のステップＡ１０からステッ
プＡ２０の処理により、前記第１の実施の形態と同様
に、ＢＮＦパーザ２１０は、左辺が“a”および“b”の
抽象構文定義規則を抽象構文一覧表７０に登録する。

【０１７９】続いてＢＮＦ定義ファイル５０についての
処理が行われる。ＢＮＦパーザ２１０は、ＢＮＦ定義の
ＢＮＦ規則を一つずつ選びだし（ステップＡ３０）、ス
テップＡ４５以降それごとの処理が施されるが、今回
は、ＢＮＦ規則“b：：=d：e1f：e2；”を例に説明す
る。

【０１８０】ステップＡ４５は、前記第１の実施の形態
とまったく同じ動作をする。

【０１８１】続いてステップＡ４５からステップＡ６０
により、ＢＮＦパーザ２１０は左辺“b”を有する抽象
構文規則“b：：=(b1) f：e2.d：e1│(b2) f：e1；”を
得る。そして、ＢＮＦパーザ２１０はＢＮＦ右辺式
“d：e1 f：e2”を得る（ステップＡ６０)。

【０１８２】図１２のステップＡ６５からステップＡ７
０では、前記第１の実施の形態と、全く同じ処理を行
う。

【０１８３】そして、ＢＮＦパーザ２１０は、抽象構文
右辺規則“(b1) f：e2.d：e1│(b2)f：e1”の中で、Ｂ
ＮＦ右辺式“d：e1 f：e2”が「含む」抽象構文右辺式
をみつけようとする。まず、ＢＮＦ右辺式“d：e1 f：e
2”が抽象構文右辺規則“(b1) f：e2.d：e2”を「含
む」か調べる。

【０１８４】“f：e2”は、“b”の右辺対であるが、右
辺対“d：e1”は“f”を左辺とするＢＮＦ右辺規則中に
存在しない。そのため、「含まれない」。

【０１８５】次に、ＢＮＦ右辺式“(b2) f：e1”につい
てであるが、“f：e1”は、ＢＮＦ右辺式“d：e1 f：e
2”に存在しない。そのため、「含まれない」。

【０１８６】よって、抽象構文右辺規則“b：：=(b1)
f：e2.d：e1│(b2) f：e1；”には、右辺式“d：e1 f：
e2”に含まれる右辺式が存在しない。

【０１８７】左辺“b”を有する抽象構文木定義規則が
存在するのに、含まれる抽象構文木定義の右辺式が存在
しないので、ＢＮＦパーザ２１０はエラーメッセージを
出し、異常停止する。

【０１８８】これは、抽象構文規則“b：：=(b1) f：e
2.d：e1│(b2) f：e1；”に過ちがあるためと、パーザ
開発者は解釈することができる。

【０１８９】［実施の形態３］次に、本発明の第３の実
施の形態について図面を参照して詳細に説明する。

【０１９０】図１２は、本発明の第３の実施の形態のパ
ーザ生成器プリプロセッサ６０の構成を示す図である。
図１２を参照すると、本発明の第３の実施の形態におい
ては、前記第１の実施の形態の構成に加えて、抽象構文
トークン一覧表３１０を備えている。また、コード生成
器１１０が、コード生成器３２０に置き換わっている。
さらに、抽象構文木定義パーザ８０が、抽象構文木定義
パーザ３８０に置き換わっている。

【０１９１】抽象構文木定義パーザ３８０は、前記第１
の実施の形態の抽象構文木定義パーザ８０と同様に、抽
象構文木定義ファイル４０を読み込み、その内容を抽象
構文一覧表７０に登録する。

【０１９２】さらに、抽象構文木定義パーザ３８０は、
抽象構文木定義ファイル４０に現れるすべてのトークン
を抽象構文トークン一覧表３１０に登録する。

【０１９３】抽象構文トークン一覧表３１０は、抽象構
文で現れるトークンをすべて格納する一覧表である。重
複したトークンを登録した場合は、同じトークンのうち
ただ一つのみ登録する。抽象構文トークン一覧表３１０
は、与えられたトークンが表中に存在するかを調べるこ
とができる。

【０１９４】コード生成器３２０は、コード生成器１１
０と同様に、右辺一覧表１００およびＢＮＦ規則格納表
１１５を参照して、アクション付きＢＮＦ定義ファイル
１２０を生成する。この際、コード生成器３２０は、抽
象構文トークン一覧表３１０を参照して、出力するコー
ドを変更することができる。

【０１９５】図１３及び図１４は、本発明の第３の実施
の形態の処理フローを示す流れ図である。図１２乃至図
１４を参照して、本発明の第３の実施の形態の全体の動
作について詳細に説明する。

【０１９６】図１３を参照すると、ステップＡ１０から
ステップＡ２０までの一連の処理は図６に示した前記第
１の実施の形態の処理と同一の処理を行う。

【０１９７】続いて、抽象構文木定義パーザ３８０は、
抽象構文木定義ファイル４０中に現れるすべてのトーク
ンを抽象構文トークン一覧表３１０に登録する（ステッ
プＡ３２０）。

【０１９８】続いて、ステップＡ３０からステップＡ８
０まで、図６に示した前記第１の実施の形態と同様の処
理を行う。

【０１９９】本発明の第３の実施の形態において、前記
第１の実施の形態の処理と相違するのは、ステップＡ９
０で、アクションコードの生成処理を行う代わりに、ス
テップＡ３９０で、アクションコード生成の前処理を施
している、ことである。

【０２００】図１４は、図１３のステップＡ３９０のア
クションコード生成の前処理の処理手順を示す流れ図で
ある。図１３及び図１４の流れ図を参照して、まず、コ
ード生成器３２０はＢＮＦ規則格納表１１５からＢＮＦ
左辺を取得し、その左辺と同じトークンが抽象構文トー
クン一覧表３１０に存在するかを検査する(ステップＣ
１０)。存在すれば、前記第１の実施の形態と同様に、
アクションコードの生成処理(ステップＡ９０)を実行す
る。

【０２０１】一方、存在しなければ、コード生成器３２
０は、このＢＮＦ右辺規則が有するすべての右辺式のア
クション部分として、「本左辺に対するＢＮＦ構文木に
相当するノードがないことを示すnullを返す。」という
コードを生成する（ステップＣ２０)。

【０２０２】ステップＡ９０もしくはステップＣ２０が
終了すると、アクションコード生成の前処理を終了す
る。

【０２０３】次に本発明の第３の実施の形態の作用効果
について説明する。

【０２０４】本発明の第３の実施の形態では、前記第１
の実施の形態の作用効果に加えて、コード生成器３２０
が抽象構文トークン一覧表３１０を参照することによ
り、生成されたパーザが、不必要なＢＮＦ構文木を作成
しない構成になっているため、パーザが動作中に、プロ
グラム実行手段２０が使用する作業メモリ領域を、前記
第１の実施の形態よりも、削減することができる。

【０２０５】また、同様の理由により、余分なＢＮＦ構
文木を作成する処理を減らすことができるために、パー
ザの処理をより高速に実行することができる。

【０２０６】［実施例３］次に、本発明の第３の実施の
形態についてさらに詳細に説明すべく，具体的な実施例
に即して説明する。

【０２０７】図９（Ａ）、図９（Ｂ）にそれぞれ示すＢ
ＮＦ定義ファイルおよび抽象構文木定義を入力として、
前記本発明の第３の実施の形態を実行した場合について
説明する。

【０２０８】図１３のステップＡ１０からステップＡ２
０までは、図６に示した前記第１の実施の形態とまった
く同じ処理を行う。

【０２０９】さらに、抽象構文木定義パーザ３８０は、
抽象構文木定義ファイル４０に現れるすべてのトークン
を抽象構文トークン一覧表３１０に登録する。

【０２１０】本実施の形態の場合、登録されるトークン
は、“a”,“b”,“d”,“b”,“d”,“e”,“e”であ
り、抽象構文トークン一覧表３１０は重複した場合は一
つのみ登録されるので、表中には、“a”,“b”,“d”,
“e”が登録される。

【０２１１】続いて、ステップＡ３０以降のＢＮＦ定義
ファイル５０に関する処理について処理が行われる。Ｂ
ＮＦ定義ファイル５０のうち、左辺が“a”,“b”,
“c”のものについては、抽象構文トークン一覧表３１
０に登録されているので、前記第１の実施の形態と同じ
処理を行うことになる。

【０２１２】ここでは、ＢＮＦ規則“f：：=e：e1│f：
e1；”についての処理について説明する。

【０２１３】まず、ステップＡ３０からＡ８０までは、
前記第１の実施の形態と同様の処理が行われる。

【０２１４】続いて、右辺式“e：e1”について、アク
ションコード生成の前処理が行われる（ステップＡ３９
０）。

【０２１５】アクションコード生成の前処理について、
図１４を参照して詳細に説明する。

【０２１６】まず、コード生成器３２０は、ＢＮＦ左辺
“f”に当たるトークンが抽象構文トークン一覧表３１
０に存在するかどうかを検査する(ステップＣ１０)。

【０２１７】この場合、“f”は、抽象構文トークン一
覧表３１０に存在しない。そこで、コード生成器３２０
は、「本左辺に対するＢＮＦ構文木に相当するノードが
ないことを示すnullを返す。」というコードを生成する
（ステップＣ２０)。

【０２１８】続いてステップＡ６０に戻り、残る右辺式
“f：e1”についても“e：e1”と同様の処理を行う。

【０２１９】以上で、“f：：=e：e1│e：e2；”に関す
る処理が終了する。

【０２２０】ステップＡ３０に戻り、すでにすべてのＢ
ＮＦ左辺について処理が終えているので、ステップＡ４
０に進み、以降、前記第１の実施の形態と同様の処理を
行う。

【０２２１】［実施の形態４］次に、本発明の第４の実
施の形態について図面を参照して詳細に説明する。

【０２２２】図１６は、本発明の第４の実施の形態のパ
ーザ生成器プリプロセッサ６０の構成を示す図である。
図１６を参照すると、本発明の第４の実施の形態は、前
記第２の実施の形態の構成に加えて、抽象構文トークン
一覧表３１０を備えている。また、コード生成器１１０
がコード生成器３２０に置き換わっている。さらに、抽
象構文木定義パーザ８０が抽象構文木定義パーザ３８０
に置き換わっている。

【０２２３】これらの手段はそれぞれ概略つぎのような
機能を有する。

【０２２４】抽象構文トークン一覧表３１０は、前記第
３の実施の形態の抽象構文トークン一覧表３１０と同一
である。コード生成器３２０は、前記第３の実施の形態
のコード生成器３２０と同一である。抽象構文木定義パ
ーザ３８０は、前記第３の実施の形態の抽象構文木定義
パーザ３８０と同一である。

【０２２５】図１７は、本発明の第４の実施の形態の処
理フローを示す流れ図である。図１６及び図１７を参照
して、本発明の第４の実施の形態の全体の動作について
詳細に説明する。

【０２２６】図１７において、ステップＡ１０からステ
ップＡ８０までは、図１１に示した前記第２の実施の形
態のステップＡ１０からＡ８０までと同じ処理が行われ
る。また、ステップＡ３９０については、図１３及び図
１４に示した前記第３の実施の形態のステップＡ３９０
と同一の処理が行われる。

【０２２７】次に、本発明の第４の実施の形態の作用効
果について説明する。

【０２２８】本発明の第４の実施の形態では、前記第１
の実施の形態の作用効果に加えて、前記第２の実施の形
態と前記第３の実施の形態の作用効果を併せ持つ。つま
り、前記第１の実施の形態の効果に加えて、本実施の形
態では、不正な抽象構文木定義ファイルの内容を予め検
査するために、パーザ開発者は早期に抽象構文木定義フ
ァイルの過ちに気づくことができ、正しいパーザを作成
する一助とすることができる。また、本実施の形態で
は、コード生成器３２０が抽象構文トークン一覧表３１
０を参照することにより、生成されたパーザが、不要な
ＢＮＦ構文木を作成しない構成になっているため、パー
ザが動作中にプログラム実行手段２０が使用する作業メ
モリ領域を、前記第１の実施の形態よりも削減すること
ができる。

【０２２９】また、同様の理由により、余計なＢＮＦ構
文木を作成する処理を減らすことができるために、パー
ザの処理をより高速に実行することができる。

【０２３０】［実施例４］次に、本発明の第４の実施の
形態についてさらに詳細に説明すべく、具体的な実施例
に即して説明する。

【０２３１】図９（Ａ）、図９（Ｂ）にそれぞれ示した
ＢＮＦ定義ファイルおよび抽象構文木定義を入力とし
て、本発明の第４の実施の形態を実行した場合について
説明する。この場合、前記第３の実施の形態で説明した
動作と同様の動作を行い、パーザ生成器プリプロセッサ
６０は、同じアクション付きＢＮＦ定義ファイル１２０
を出力する。

【０２３２】また、図１５（Ａ）、図１５（Ｂ）にそれ
ぞれ示したＢＮＦ定義ファイルおよび抽象構文木定義フ
ァイルを入力として、パーザ生成器プリプロセッサ６０
を起動した場合について説明する。この場合、前記第２
の実施の形態と同様に動作し、パーザ生成器プリプロセ
ッサ６０は異常停止をする。

【０２３３】

【発明の効果】以上説明したように、本発明によれば下
記記載の効果を奏する。

【０２３４】本発明の第１の効果は、パーザ開発者が、
アクション付きＢＮＦ定義ファイルを記述するより容易
に、ＢＮＦ定義ファイルおよび抽象構文木定義ファイル
を記述することができる、ということである。

【０２３５】その理由は、本発明においては、アクショ
ン付きＢＮＦ定義ファイル中の手続き的記述であるアク
ションの代わりに、非手続き的な記述である抽象構文木
定義ファイルをパーザ開発者は記述するだけで済む構成
としたためである。

【０２３６】本発明の第２の効果は、少ない記述量で入
力ファイルからパーザを生成できる、ということにあ
る。

【０２３７】その理由は、一般に手続きを記述するアク
ション部分に比べて、非手続き的記述である抽象構文木
定義は、記述される行数は、少なくて済む、からであ
る。

【０２３８】本発明の第３の効果は、抽象構文木の仕様
とほぼ一致した表現形態で入力することができる、とい
うことにある。

【０２３９】その理由は、本発明においては、抽象構文
木定義ファイルの内容を、抽象構文木の仕様と同様に記
述できるようにしためである。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態の構成を示す示すブ
ロック図である。

【図２】本発明の第１の実施の形態の要部の構成を示す
示すブロック図である。

【図３】ＢＮＦ定義の文法を示す説明図である。

【図４】抽象構文木定義の文法を示す説明図である。

【図５】ＢＮＦ構文木と抽象構文木との対応を示す図で
ある。

【図６】本発明の第１の実施の形態の動作を説明するた
めの流れ図である。

【図７】本発明の第１の実施の形態の動作を説明するた
めの流れ図である。

【図８】本発明の第１の実施の形態の動作を説明するた
めの流れ図である。

【図９】本発明の第１、第３の実施の形態を説明するた
めの図であり、（Ａ）はＢＮＦ定義ファイル入力サンプ
ル、（Ｂ）は抽象構文木定義ファイル入力サンプルを示
す図である。

【図１０】本発明の第２の実施の形態の要部の構成を示
す示すブロック図である。

【図１１】本発明の第２の実施の形態の動作を説明する
ための流れ図である。

【図１２】本発明の第３の実施の形態の要部の構成を示
す示すブロック図である。

【図１３】本発明の第３の実施の形態の動作を説明する
ための流れ図である。

【図１４】本発明の第３の実施の形態の動作を説明する
ため流れ図である。

【図１５】本発明の第２の実施の形態を説明するための
図であり、（Ａ）はＢＮＦ定義ファイル入力サンプル、
（Ｂ）は抽象構文木定義ファイル入力サンプルを示す図
である。

【図１６】本発明の第４の実施の形態の要部の構成を示
す示すブロック図である。

【図１７】本発明の第４の実施の形態の動作を説明する
ための流れ図である。

【図１８】従来のパーザ生成システムの主要部の構成を
示す示すブロック図である。

【符号の説明】

１０目的言語入力ファイル２０プログラム実行手段３０抽象構文木データベース４０抽象構文木定義ファイル５０ＢＮＦ定義ファイル６０パーザ生成器プリプロセッサ７０抽象構文一覧表８０抽象構文木定義パーザ９０ＢＮＦパーザ１００右辺式一覧表１１５ＢＮＦ規則格納表１１０コード生成器１２０アクション付きＢＮＦ定義ファイル１３０パーザ生成器１４０プログラムファイル１５０コンパイラ１６０パーザ実行ファイル２１０ＢＮＦパーザ３１０抽象構文トークン一覧表３２０コード生成器３８０抽象構文木定義パーザ

Claims

(57)【特許請求の範囲】

【請求項１】抽象構文木定義ファイルを入力して構文解
析し、前記抽象構文木定義ファイル内のすべての抽象構
文木定義規則について左辺をキーとし、右辺規則を、記
憶装置内の抽象構文一覧表に登録する手段と、ＢＮＦ定義ファイルを入力し、前記ＢＮＦ定義ファイル
をＢＮＦ規則毎に構文解析し、前記記憶装置内のＢＮＦ
規則格納表に格納し、前記ＢＮＦ規則の左辺と同一の左
辺を有する抽象構文木定義規則の左辺を有する抽象構文
木定義規則の右辺式を前記抽象構文規則一覧表から取得
し、前記取得した抽象構文木定義規則の右辺式を、表形
式で前記記憶装置内の右辺式一覧表に格納するＢＮＦパ
ーザと、前記ＢＮＦパーザから受け取ったＢＮＦ規則をアクショ
ン付きＢＮＦ定義ファイルのＢＮＦ部分として出力する
とともに、ＢＮＦ規則毎に前記ＢＮＦ規則の左辺に対応
する具象構文木ノードを生成し、作成済みの下位の具象
構文木とつなぐプログラムコードと、前記左辺を表す抽
象構文木ノードを生成するプログラムコードと、前記右
辺式一覧表から共通の左辺の値を有する抽象構文規則右
辺式を得、前記抽象構文規則右辺式のシンボルパスごと
に、具象構文木を辿りシンボルパス内の右辺と対応する
前記具象構文木内の具象構文木ノードを得るプログラム
コードと、得た前記具象構文木ノードに付与された抽象
構文木ノードを取り出し、前記抽象構文木ノードを子と
し前記左辺を表す前記抽象構文木ノードをつなぎ、抽象
構文木を構成するプログラムコードと、前記左辺を表す
前記抽象構文木ノードを、前記左辺を表す前記具象構文
木ノードに付与するプログラムコードとを、生成し、前
記アクション付き定義ファイルのアクション部とするコ
ード生成手段と、を備えたことを特徴とするパーザプリプロセッサシステ
ム。
【請求項２】抽象構文木左辺をキーとし、右辺規則が検
索対象とされる抽象構文規則の一覧を格納する抽象構文
一覧表と、入力した抽象構文木定義ファイルを構文解析し、前記抽
象構文木定義ファイルの内容に従い、抽象構文木定義規
則の左辺をキーとして右辺規則を前記抽象構文一覧表に
登録する抽象構文木定義パーザと、入力したＢＮＦ定義ファイルの内容に従い、前記抽象構
文一覧表から抽象構文規則の右辺式を取り出すＢＮＦパ
ーザと、前記ＢＮＦパーザが取り出した抽象構文規則の右辺式を
表形式で記憶する一覧表である右辺式一覧表と、前記ＢＮＦパーザから受け取ったＢＮＦ規則をアクショ
ン付きＢＮＦ定義ファイルのＢＮＦ部分として出力する
とともに、ＢＮＦ規則毎に前記ＢＮＦ規則の左辺値に対
応する具象構文木ノードを生成し、作成済みの下位の具
象構文木とつなぐプログラムコードを生成し、もし前記
抽象構文トークン一覧表にＢＮＦ規則左辺と同じ値があ
るときに限り前記左辺を表す抽象構文木ノードを生成す
るプログラムコードを生成し、前記右辺式一覧表から共
通の左辺の値を有する抽象構文木右辺式を得、前記抽象
構文木右辺式のシンボルパスごとに具象構文木を辿りシ
ンボルパス内の右辺と対応する前記具象構文木内の具象
構文木ノードを得るプログラムコードを生成し、得た前
記具象構文木ノードに付与された抽象構文木ノードを取
り出し、前記抽象構文木につなぎ抽象構文木を構成する
プログラムコードを生成し、前記左辺を表す前記具象構
文木ノードに前記左辺を表す前記抽象構文木ノードを付
与するプログラムコードを生成し、前記左辺に対応する
前記具象構文木ノードを生成し下位具象構文木とつなぐ
前記プログラムコードと、前記左辺に対応する前記抽象
構文木ノードを生成する前記プログラムコードと、前記
具象構文木ノードを得る前記プログラムコードと、前記
具象構文木ノードに付与された前記抽象構文木ノードを
前記左辺に対応する前記抽象構文木ノードにつなぐ前記
プログラムコードと、前記左辺に対応する前記抽象構文
木ノードを前記左辺に対応する前記抽象構文木ノードに
付与する前記プログラムコードを前記アクション付き定
義ファイルのアクション部とするコード生成手段と、を備えたことを特徴とするパーザ生成器プリプロセッサ
システム。
【請求項３】抽象構文左辺をキーとし、右辺規則が検索
対象とされる、抽象構文規則の一覧を格納する抽象構文
一覧表と、入力した抽象構文木定義ファイルを構文解析し、前記抽
象構文木定義ファイルの内容に従い抽象構文木定義規則
の左辺をキーとして、右辺規則を前記抽象構文一覧表に
登録する抽象構文木定義パーザと、入力したＢＮＦ定義ファイルの内容に従い、前記抽象構
文一覧表から抽象構文規則の右辺式を取り出し、右辺式
一覧表およびＢＮＦ規則格納表を埋め、その際、前記右
辺式一覧表に登録する要素の数を検査し、０個の場合に
は、処理を停止する機能を有するＢＮＦパーザと、前記ＢＮＦパーザによる抽象構文規則の右辺式を記憶す
る一覧表である前記右辺式一覧表と、前記ＢＮＦパーザが構文解析したＢＮＦ規則を一つ格納
する前記ＢＮＦ規則格納表と、前記ＢＮＦパーザから受け取ったＢＮＦ規則をアクショ
ン付きＢＮＦ定義ファイルのＢＮＦ部分として出力する
とともに、ＢＮＦ規則毎に前記ＢＮＦ規則の左辺値に対
応する具象構文木ノードを生成し、作成済みの下位の具
象構文木とつなぐプログラムコードを生成し、もし前記
抽象構文トークン一覧表にＢＮＦ規則左辺と同じ値があ
るときに限り前記左辺を表す抽象構文木ノードを生成す
るプログラムコードを生成し、前記右辺式一覧表から共
通の左辺の値を有する抽象構文木右辺式を得、前記抽象
構文木右辺式のシンボルパスごとに具象構文木を辿りシ
ンボルパス内の右辺と対応する前記具象構文木内の具象
構文木ノードを得るプログラムコードを生成し、得た前
記具象構文木ノードに付与された抽象構文木ノードを取
り出し、前記抽象構文木につなぎ抽象構文木を構成する
プログラムコードを生成し、前記左辺を表す前記具象構
文木ノードに前記左辺を表す前記抽象構文木ノードを付
与するプログラムコードを生成し、前記左辺に対応する
前記具象構文木ノードを生成し下位具象構文木とつなぐ
前記プログラムコードと、前記左辺に対応する前記抽象
構文木ノードを生成する前記プログラムコードと、前記
具象構文木ノードを得る前記プログラムコードと、前記
具象構文木ノードに付与された前記抽象構文木ノードを
前記左辺に対応する前記抽象構文木ノードにつなぐ前記
プログラムコードと、前記左辺に対応する前記抽象構文
木ノードを前記左辺に対応する前記抽象構文木ノードに
付与する前記プログラムコードを前記アクション付き定
義ファイルのアクション部とするコード生成手段と、を備えたことを特徴とするパーザ生成器プリプロセッサ
システム。
【請求項４】抽象構文木左辺をキーとし、右辺規則を検
索対象とする抽象構文木規則の一覧を格納する抽象構文
木一覧表と、入力した抽象構文木定義ファイルを構文解析し、前記抽
象構文木定義ファイルに従い、抽象構文木定義規則の左
辺をキーとして、右辺規則を前記抽象構文木一覧表に登
録するとともに、前記抽象構文木定義ファイルに現れる
すべてのトークンを、抽象構文トークン一覧表に登録す
る抽象構文木パーザと、入力したＢＮＦ定義ファイルの内容に従い、前記抽象構
文一覧表から右辺式を取り出し、右辺式一覧表およびＢ
ＮＦ規則格納表を埋めるＢＮＦパーザと、前記ＢＮＦパーザと後述のコード生成手段の一時記憶手
段として使用され、抽象構文規則の右辺式を記憶する一
覧表である前記右辺式一覧表と、前記ＢＮＦパーザが構文解析したＢＮＦ規則を格納する
前記ＢＮＦ規則格納表と、抽象構文で表れる左辺及び右辺をすべて格納する一覧表
である前記抽象構文トークン一覧表と、前記右辺式一覧表、前記ＢＮＦ規則格納表、および前記
抽象構文トークン一覧表を参照して、前記ＢＮＦパーザ
から受け取ったＢＮＦ規則をアクション付きＢＮＦ定義
ファイルのＢＮＦ部分として出力するとともに、ＢＮＦ
規則毎に前記ＢＮＦ規則の左辺値に対応する具象構文木
ノードを生成し、作成済みの下位の具象構文木とつなぐ
プログラムコードを生成し、もし前記抽象構文トークン
一覧表にＢＮＦ規則左辺と同じ値があるときに限り前記
左辺を表す抽象構文木ノードを生成するプログラムコー
ドを生成し、前記右辺式一覧表から共通の左辺の値を有
する抽象構文木右辺式を得、前記抽象構文木右辺式のシ
ンボルパスごとに具象構文木を辿りシンボルパス内の右
辺と対応する前記具象構文木内の具象構文木ノードを得
るプログラムコードを生成し、得た前記具象構文木ノー
ドに付与された抽象構文木ノードを取り出し、前記抽象
構文木につなぎ抽象構文木を構成するプログラムコード
を生成し、前記左辺を表す前記具象構文木ノードに前記
左辺を表す前記抽象構文木ノードを付与するプログラム
コードを生成し、前記左辺に対応する前記具象構文木ノ
ードを生成し下位具象構文木とつなぐ前記プログラムコ
ードと、前記左辺に対応する前記抽象構文木ノードを生
成する前記プログラムコードと、前記具象構文木ノード
を得る前記プログラムコードと、前記具象構文木ノード
に付与された前記抽象構文木ノードを前記左辺に対応す
る前記抽象構文木ノードにつなぐ前記プログラムコード
と、前記左辺に対応する前記抽象構文木ノードを前記左
辺に対応する前記抽象構文木ノードに付与する前記プロ
グラムコードを前記アクション付き定義ファイルのアク
ション部とするコード生成手段と、を備えたことを特徴とするパーザ生成プリプロセッサシ
ステム。
【請求項５】抽象構文左辺をキーとし、右辺規則を検索
対象とする抽象構文規則の一覧を格納する抽象構文一覧
表と、入力した抽象構文木定義ファイルを構文解析し、前記抽
象構文木定義ファイルの内容に従い抽象構文木定義規則
の左辺をキーとして、右辺規則を前記抽象構文一覧表に
登録するとともに、前記抽象構文木定義ファイルに現れ
るすべてのトークンを抽象構文トークン一覧表に登録す
る抽象構文木定義パーザと、入力したＢＮＦ定義ファイルの内容に従い、前記抽象構
文一覧表から抽象構文規則の右辺式を取り出し、右辺式
一覧表およびＢＮＦ規則格納表を埋め、その際、前記右
辺式一覧表に登録する要素の数を検査し、０個の場合に
は、処理を停止する機能を有するＢＮＦパーザと、前記ＢＮＦパーザとコード生成手段の一時記憶手段とし
て使用され、抽象構文規則の右辺式を記憶する一覧表で
ある前記右辺式一覧表と、前記ＢＮＦパーザが構文解析したＢＮＦ規則を一つ格納
する前記ＢＮＦ規則格納表と、抽象構文規則で現れる左辺および右辺をすべて格納する
一覧表である前記抽象構文トークン一覧表と、前記右辺式一覧表、前記ＢＮＦ規則格納表、および前記
抽象構文トークン一覧表を参照して、前記ＢＮＦパーザ
から受け取ったＢＮＦ規則をアクション付きＢＮＦ定義
ファイルのＢＮＦ部分として出力するとともに、ＢＮＦ
規則毎に前記ＢＮＦ規則の左辺値に対応する具象構文木
ノードを生成し、作成済みの下位の具象構文木とつなぐ
プログラムコードを生成し、もし前記抽象構文トークン
一覧表にＢＮＦ規則左辺と同じ値があるときに限り前記
左辺を表す抽象構文木ノードを生成するプログラムコー
ドを生成し、前記右辺式一覧表から共通の左辺の値を有
する抽象構文木右辺式を得、前記抽象構文木右辺式のシ
ンボルパスごとに具象構文木を辿りシンボルパス内の右
辺と対応する前記具象構文木内の具象構文木ノードを得
るプログラムコードを生成し、得た前記具象構文木ノー
ドに付与された抽象構文木ノードを取り出し、前記抽象
構文木につなぎ抽象構文木を構成するプログラムコード
を生成し、前記左辺を表す前記具象構文木ノードに前記
左辺を表す前記抽象構文木ノードを付与するプログラム
コードを生成し、前記左辺に対応する前記具象構文木ノ
ードを生成し下位具象構文木とつなぐ前記プログラムコ
ードと、前記左辺に対応する前記抽象構文木ノードを生
成する前記プログラムコードと、前記具象構文木ノード
を得る前記プログラムコードと、前記具象構文木ノード
に付与された前記抽象構文木ノードを前記左辺に対応す
る前記抽象構文木ノードにつなぐ前記プログラムコード
と、前記左辺に対応する前記抽象構文木ノードを前記左
辺に対応する前記抽象構文木ノードに付与する前記プロ
グラムコードを前記アクション付き定義ファイルのアク
ション部とするコード生成手段と、を備えたことを特徴とするパーザ生成器プリプロセッサ
システム。
【請求項６】（ａ）抽象構文パーザは、抽象構文木定義
ファイルを読み込み、その内容に対応した抽象構文木定
義規則を生成し、（ｂ）生成した前記抽象構文木定義規則の左辺をキーと
し、右辺規則を、抽象構文一覧表に登録し、（ｃ）ＢＮＦパーザでは、ＢＮＦ定義ファイルを読み込
み、左辺ごとにパーズ（構文解析）し、（ｄ）左辺および文字列“：：=”を、アクション付き
ＢＮＦ定義ファイルに、ＢＮＦ文法規則の一部として出
力し、（ｅ）ＢＮＦ規則を一つパーズし、同じ左辺を有する抽
象構文木定義規則を、前記抽象構文一覧表から検索し
て、抽象構文木定義規則の右辺規則を得、（ｆ）ＢＮＦ右辺式を、アクション付きＢＮＦ定義ファ
イルに、ＢＮＦ文法規則の一部として出力し、（ｇ）前記右辺式一覧表の内容を空白にし、（ｈ）前記ＢＮＦ右辺式が含む抽象構文木定義規則右辺
式を選び出し、右辺式一覧表に登録し、つづいて、コード生成器において、（ｉ）ＢＮＦ左辺に相当する構文木ノードを生成する、（ｊ）左辺ノードに、ＢＮＦ規則右辺対に相当するノー
ドを枝として追加する、（ｋ）抽象構文ノードを生成する、（ｌ）シンボルパスの右辺対の連なりに応じて、ＢＮＦ
構文木ノードの枝を辿ってシンボルパスが指し示すＢＮ
Ｆ構文木ノードを得る、（ｍ）取得した前記ＢＮＦ構文木ノードに付随している
抽象構文木ノードを、前記ＢＮＦ構文木から取り出し、
前記（ｋ）で生成された前記抽象構文木ノードの枝の先
に付加する、（ｎ）前記ＢＮＦ構文木のノードに、前記（ｋ）で生成
された前記抽象構文木のノードを付加する、（ｏ）ＢＮＦ定義の開始文法規則の戻り値から、抽象構
文部分を取り出す、前記（ｉ）〜（ｏ）の各コードを生成する、ことを特徴とするパーザ生成器用プリプロセス方法。
【請求項７】前記右辺一覧表に登録されている抽象構文
の右辺式の数を調べ、抽象構文右辺規則が存在し、か
つ、前記右辺一覧表に登録されている右辺式の数が０な
らば処理を中断し、異常停止する、ことを特徴とする請求項６記載のパーザ生成器用プリプ
ロセス方法。
【請求項８】前記コード生成器が、ＢＮＦ左辺と同じト
ークンが抽象構文トークン一覧表に存在するか否かを検
査し、存在しなければ、前記ＢＮＦ左辺に対するＢＮＦ構文木に相当するノード
がないことを示すヌル（null）を返すコードを生成す
る、ことを特徴とする請求項６又は７記載のパーザ生成
器用プリプロセス方法。
【請求項９】（ａ）抽象構文木定義ファイルを読み込み
該抽象構文木定義ファイルの内容に対応した抽象構文木
定義を生成する処理と、（ｂ）生成した抽象構文木定義の左辺をキーとし、右辺
規則を抽象構文一覧表に登録する処理と、（ｃ）ＢＮＦ定義ファイルを左辺ごとにパーズする処理
と、（ｄ）左辺および文字列“：：=”を、アクション付き
ＢＮＦ定義ファイルに、ＢＮＦ文法規則の一部として、
出力する処理と、（ｅ）ＢＮＦ規則を一つパーズし、同じ左辺を有する抽
象構文規則を、前記抽象構文一覧表から検索し、前記抽
象構文規則の右辺規則を得る処理と、（ｆ）ＢＮＦ右辺式を、アクション付きＢＮＦ定義ファ
イルに、ＢＮＦ文法規則の一部として、出力する処理
と、（ｇ）右辺式一覧表の内容を空白にする処理と、（ｅ）ＢＮＦ右辺式が含む抽象構文規則の右辺式を選び
出し、前記右辺式一覧表に登録する処理と、（ｆ）ＢＮＦ左辺に相当する構文木ノードを生成する、（ｇ）左辺ノードに、ＢＮＦ規則右辺対に相当するノー
ドを枝として追加する，（ｈ）抽象構文ノードを生成する、（ｉ）シンボルパスの右辺対の連なりに応じてＢＮＦ構
文木ノードの枝を手繰ってシンボルパスが指し示すＢＮ
Ｆ構文木ノードを得る、（ｊ）得たＢＮＦ構文木ノードに添付している抽象構文
木ノードをＢＮＦ構文木から取り出し、抽象構文ノード
の枝の先に付加する、（ｋ）ＢＮＦ構文木のノードに抽象構文木のノードを添
付する、（ｌ）ＢＮＦ定義の開始文法規則の戻り値から、抽象構
文部分を取り出す、前記（ｆ）乃至（ｌ）のコードを生成する処理と、を、コンピュータ上で実行させるためのプログラムを記
録した記録媒体。
【請求項１０】請求項９に記載の記録媒体において、前記右辺一覧表に登録されている抽象構文の右辺式の数
を調べ、抽象構文右辺規則が存在し、かつ、前記右辺一
覧表に登録されている右辺式の数が０ならば処理を中断
し、異常停止する処理、を前記コンピュータ上で実行さ
せるためのプログラムを記録した記録媒体。
【請求項１１】請求項９又は１０に記載の記録媒体にお
いて、ＢＮＦ左辺と同じトークンが抽象構文トークン一覧表に
存在するかを検査し、存在しなければ、前記ＢＮＦ左辺
に対するＢＮＦ構文木に相当するノードがないことを示
すヌル（ｎｕｌｌ）を返すコードを生成する処理、を前
記コンピュータ上で実行させるためのプログラムを記録
した記録媒体。