JP3370243B2 - コンパイル方法及び装置 - Google Patents
コンパイル方法及び装置Info
- Publication number
- JP3370243B2 JP3370243B2 JP29457696A JP29457696A JP3370243B2 JP 3370243 B2 JP3370243 B2 JP 3370243B2 JP 29457696 A JP29457696 A JP 29457696A JP 29457696 A JP29457696 A JP 29457696A JP 3370243 B2 JP3370243 B2 JP 3370243B2
- Authority
- JP
- Japan
- Prior art keywords
- token
- syntax
- analysis unit
- operation mode
- syntax rule
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Description
【０００１】
【発明の属する利用分野】本発明は、プログラミング言
語コンパイラにおけるコンパイル方法に係り、特に、字
句解析部がソースプログラムから文字列をトークンとし
て切り出し、構文解析部がトークンの並びを解析する構
文解析系における方法に関する。
語コンパイラにおけるコンパイル方法に係り、特に、字
句解析部がソースプログラムから文字列をトークンとし
て切り出し、構文解析部がトークンの並びを解析する構
文解析系における方法に関する。
【０００２】
【従来の技術】一般的なコンパイラは、ソースプログラ
ムから文字列を切り出してトークンを生成する字句解析
部、トークン間の並びを解析してプログラミング言語の
文法に従っているかどうか調べ、中間語と呼ばれる内部
形式に変換する構文解析部、プログラムの意味情報の収
集、検査を行う意味解析部、中間語の最適化を行う最適
化部、実行可能コードを生成するオブジェクトコード出
力部で構成される。ここでトークンとは、ソースプログ
ラムから意味のある最小の字句を切り出して１つの単位
としてまとめたものである。たとえば、ある字句解析部
はＸ1＝Ｘ2というソースプログラムから、変数名、等
号、変数名という３つのトークンを生成する。トークン
は、そのトークンを生成するもとになったソースプログ
ラム上の字句（前出の例では“Ｘ1”,“＝”,“Ｘ2”）
や、ソースプログラム上での位置（行数、カラム数）な
どを属性値として持つ。文法は、プログラミング言語の
構文を規定するものである。以下、単に文法と記した場
合、文脈自由文法のことを指す。ただし本発明はコンパ
イラの構成に関するものであり、文脈自由文法は説明の
ために使用するにすぎない。
ムから文字列を切り出してトークンを生成する字句解析
部、トークン間の並びを解析してプログラミング言語の
文法に従っているかどうか調べ、中間語と呼ばれる内部
形式に変換する構文解析部、プログラムの意味情報の収
集、検査を行う意味解析部、中間語の最適化を行う最適
化部、実行可能コードを生成するオブジェクトコード出
力部で構成される。ここでトークンとは、ソースプログ
ラムから意味のある最小の字句を切り出して１つの単位
としてまとめたものである。たとえば、ある字句解析部
はＸ1＝Ｘ2というソースプログラムから、変数名、等
号、変数名という３つのトークンを生成する。トークン
は、そのトークンを生成するもとになったソースプログ
ラム上の字句（前出の例では“Ｘ1”,“＝”,“Ｘ2”）
や、ソースプログラム上での位置（行数、カラム数）な
どを属性値として持つ。文法は、プログラミング言語の
構文を規定するものである。以下、単に文法と記した場
合、文脈自由文法のことを指す。ただし本発明はコンパ
イラの構成に関するものであり、文脈自由文法は説明の
ために使用するにすぎない。
【０００３】文法は次の４つの要素からなる。
１．トークンの集合
２．非終端記号の集合
３．構文規則の集合
各構文規則は、構文規則の左辺と呼ばれる非終端記号、
→、構文規則の右辺と呼ばれるトークンや非終端記号の
列からなる。 ４．開始記号と呼ぶ１つの非終端記号 文法を構成する構文規則のうち最上位の規則の左辺を開
始記号とする。文法は構文規則の並びによって定められ
る。たとえば、数字、正符号及び負符号からなる式の文
法は次の構文規則（（１），（２），（３），（４））
の並びとして表すことができる。 式→式＋数字………（１） 式→式−数字………（２） 式→数字……………（３） 数字→０｜１｜２｜３｜４｜５｜６｜７｜８｜９……（４） ここで、式、数字のように構文規則の左辺に現れるもの
は非終端記号であり、＋，−，０〜９のように構文規則
の右辺にしか現れないものはトークンである。構文規則
(１)の意味は、「式は式＋数字という記号列から構成さ
れる」ということである。構文規則(４)の意味は、「数
字は０または１または...９で構成される」ということ
である。構文規則(４)の右辺の記号“｜”は「または」
を表す記号である。上記（１）〜（４）において、
“式”、“数字”は非終端記号であり、“＋”、
“−”、“０”、“１”、………、“９”はトークンで
あり、“→”は記号である。また、上記（１）の左辺の
“式”は開始記号である。
→、構文規則の右辺と呼ばれるトークンや非終端記号の
列からなる。 ４．開始記号と呼ぶ１つの非終端記号 文法を構成する構文規則のうち最上位の規則の左辺を開
始記号とする。文法は構文規則の並びによって定められ
る。たとえば、数字、正符号及び負符号からなる式の文
法は次の構文規則（（１），（２），（３），（４））
の並びとして表すことができる。 式→式＋数字………（１） 式→式−数字………（２） 式→数字……………（３） 数字→０｜１｜２｜３｜４｜５｜６｜７｜８｜９……（４） ここで、式、数字のように構文規則の左辺に現れるもの
は非終端記号であり、＋，−，０〜９のように構文規則
の右辺にしか現れないものはトークンである。構文規則
(１)の意味は、「式は式＋数字という記号列から構成さ
れる」ということである。構文規則(４)の意味は、「数
字は０または１または...９で構成される」ということ
である。構文規則(４)の右辺の記号“｜”は「または」
を表す記号である。上記（１）〜（４）において、
“式”、“数字”は非終端記号であり、“＋”、
“−”、“０”、“１”、………、“９”はトークンで
あり、“→”は記号である。また、上記（１）の左辺の
“式”は開始記号である。
【０００４】たとえば、ある文法Ｘの１つの構文規則
が、動作モードによってあるときはＡ、またあるときは
Ａ’になるとする。文法Ｘに従ってコンパイルを行うコ
ンパイラ（以下文法Ｘのコンパイラとする）を作成する
場合、外部から与えられた動作モードに従ってあるとき
は構文規則Ａを用い、またあるときは構文規則Ａ’を用
いるようにするためには従来の方法では次のように実現
することができる。まず、構文規則Ａ、Ａ’の両方を含
むような文法Ｙを作る（もし、このような文法Ｙが作れ
ない場合、従来の方法では実現が難しい）。構文解析部
では文法Ｙに従ってトークンの並びを解析させる。次に
意味解析部で、構文解析部で受け付けたトークンの並び
が現在選択されている構文規則（ＡまたはＡ’）に適し
ているかどうかを検査する。このようにして、あるとき
は構文規則Ａ、またあるときは構文規則Ａ’を含む文法
Ｘのコンパイラを作成することができる。しかしこの方
法では、構文解析部だけでなく意味解析部においても構
文のチェックを行わなければならず、コンパイラの構成
が複雑になる。このため、数多くの構文規則を切り替え
て適用しなければならないような、規模の大きなコンパ
イラを作成するのが困難になる。
が、動作モードによってあるときはＡ、またあるときは
Ａ’になるとする。文法Ｘに従ってコンパイルを行うコ
ンパイラ（以下文法Ｘのコンパイラとする）を作成する
場合、外部から与えられた動作モードに従ってあるとき
は構文規則Ａを用い、またあるときは構文規則Ａ’を用
いるようにするためには従来の方法では次のように実現
することができる。まず、構文規則Ａ、Ａ’の両方を含
むような文法Ｙを作る（もし、このような文法Ｙが作れ
ない場合、従来の方法では実現が難しい）。構文解析部
では文法Ｙに従ってトークンの並びを解析させる。次に
意味解析部で、構文解析部で受け付けたトークンの並び
が現在選択されている構文規則（ＡまたはＡ’）に適し
ているかどうかを検査する。このようにして、あるとき
は構文規則Ａ、またあるときは構文規則Ａ’を含む文法
Ｘのコンパイラを作成することができる。しかしこの方
法では、構文解析部だけでなく意味解析部においても構
文のチェックを行わなければならず、コンパイラの構成
が複雑になる。このため、数多くの構文規則を切り替え
て適用しなければならないような、規模の大きなコンパ
イラを作成するのが困難になる。
【０００５】また、特開平４−５５９４４号に記載され
ている方法で、プログラミング言語の文法の構文規則を
動的に変更できるコンパイラを作成することもできる。
ある文法Ｘの１つの構文規則があるときはＡ、またある
ときはＡ’になるとき、文法Ｘのコンパイラの作成は次
のように行う。まず、構文規則Ａ、Ａ’をそれぞれ含む
文法Ｚ、Ｚ’を作成する。次に文法Ｚ、Ｚ’の両方を解
析するＬＲ(１)構文解析サブルーチンを作成しておき、
このサブルーチンを呼び出す際に解析すべき文法の種別
（ＺまたはＺ’）を表すトークンを挿入することにより
目的の文法で解析することが可能になる。しかし、この
方法では、構文解析部の状態遷移の数が少なくとも１回
増えるうえに、字句解析部が文法の種別（Ｚまたは
Ｚ’）を表すトークンを挿入するとき、次に返すべきト
ークンを保持しなければならなくなる。このため、エラ
ー処理におけるソースプログラムとの同期やエラー回復
の制御が複雑になる。同様の解決手段はＧＲＡＹ Ｈ．
ＭＥＲＲＩＬＬ，Ｐａｒｓｉｎｇ Ｎｏｎ−ＬＲ(ｋ)
Ｇｒａｍｍａｒｓ ｗｉｔｈ Ｙａｃｃ，ＳＯＦＴＷＡ
ＲＥ−ＰＲＡＣＴＩＣＥ ＡＮＤ ＥＸＰＥＲＩＥＮＣ
Ｅ．，ＶＯＬ．２３(８)，８２９−８５０(ＡＵＧＵＳ
Ｔ １９９３)にも記述されている。
ている方法で、プログラミング言語の文法の構文規則を
動的に変更できるコンパイラを作成することもできる。
ある文法Ｘの１つの構文規則があるときはＡ、またある
ときはＡ’になるとき、文法Ｘのコンパイラの作成は次
のように行う。まず、構文規則Ａ、Ａ’をそれぞれ含む
文法Ｚ、Ｚ’を作成する。次に文法Ｚ、Ｚ’の両方を解
析するＬＲ(１)構文解析サブルーチンを作成しておき、
このサブルーチンを呼び出す際に解析すべき文法の種別
（ＺまたはＺ’）を表すトークンを挿入することにより
目的の文法で解析することが可能になる。しかし、この
方法では、構文解析部の状態遷移の数が少なくとも１回
増えるうえに、字句解析部が文法の種別（Ｚまたは
Ｚ’）を表すトークンを挿入するとき、次に返すべきト
ークンを保持しなければならなくなる。このため、エラ
ー処理におけるソースプログラムとの同期やエラー回復
の制御が複雑になる。同様の解決手段はＧＲＡＹ Ｈ．
ＭＥＲＲＩＬＬ，Ｐａｒｓｉｎｇ Ｎｏｎ−ＬＲ(ｋ)
Ｇｒａｍｍａｒｓ ｗｉｔｈ Ｙａｃｃ，ＳＯＦＴＷＡ
ＲＥ−ＰＲＡＣＴＩＣＥ ＡＮＤ ＥＸＰＥＲＩＥＮＣ
Ｅ．，ＶＯＬ．２３(８)，８２９−８５０(ＡＵＧＵＳ
Ｔ １９９３)にも記述されている。
【０００６】
【発明が解決しようとする課題】プログラミング言語の
文法の構文規則を動的に変更できるコンパイラを作成す
る場合、従来技術では上記説明のとおり、構文解析部と
意味解析部の役割分担があいまいになるという問題や、
構文解析部の状態遷移の回数が増えるという問題があ
る。本発明の目的は、コンパイラ外部から与えられた動
作モードに応じて構文規則を動的に切り換えるコンパイ
ラの構文解析系を作成する手段を提供することである。
文法の構文規則を動的に変更できるコンパイラを作成す
る場合、従来技術では上記説明のとおり、構文解析部と
意味解析部の役割分担があいまいになるという問題や、
構文解析部の状態遷移の回数が増えるという問題があ
る。本発明の目的は、コンパイラ外部から与えられた動
作モードに応じて構文規則を動的に切り換えるコンパイ
ラの構文解析系を作成する手段を提供することである。
【０００７】
【課題を解決するための手段】上記目的を達成するた
め、本発明は、字句解析部と構文解析部を含むプログラ
ミング言語コンパイラであり、字句解析部がソースプロ
グラムから文字列を切り出してトークンとし、構文解析
部が構文規則に従ってトークンの並びを解析し、外部か
ら与えられた動作モードに応じて内部の動作を変更しう
るコンパイラにおいて、あるプログラミング言語の文法
Ｘに含まれる複数の構文規則から、動作モードによって
該動作モードに対応する構文規則を選択する場合、前記
字句解析部は、前記動作モードにしたがって、特定の文
字列から該動作モードに対応する異なるトークンを生成
し、それぞれの動作モードに対応するトークンを含む複
数の構文規則を有する前記構文解析部に渡し、該構文解
析部は、字句解析部からある特定の動作モードに対応す
るトークンを受理したとき、該トークンを含む構文規則
だけを選択的に適用可能にするようにしている。
め、本発明は、字句解析部と構文解析部を含むプログラ
ミング言語コンパイラであり、字句解析部がソースプロ
グラムから文字列を切り出してトークンとし、構文解析
部が構文規則に従ってトークンの並びを解析し、外部か
ら与えられた動作モードに応じて内部の動作を変更しう
るコンパイラにおいて、あるプログラミング言語の文法
Ｘに含まれる複数の構文規則から、動作モードによって
該動作モードに対応する構文規則を選択する場合、前記
字句解析部は、前記動作モードにしたがって、特定の文
字列から該動作モードに対応する異なるトークンを生成
し、それぞれの動作モードに対応するトークンを含む複
数の構文規則を有する前記構文解析部に渡し、該構文解
析部は、字句解析部からある特定の動作モードに対応す
るトークンを受理したとき、該トークンを含む構文規則
だけを選択的に適用可能にするようにしている。
【０００８】また、字句解析部と構文解析部を含むプロ
グラミング言語コンパイラであり、字句解析部がソース
プログラムから文字列を切り出してトークンとし、構文
解析部が構文規則に従ってトークンの並びを解析し、外
部から与えられた動作モードに応じて内部の動作を変更
しうるコンパイラにおいて、あるプログラミング言語の
文法Ｘに含まれる構文規則Ａを動作モードによって有効
または無効にするために、前記字句解析部は、前記動作
モードにしたがって、特定の文字列から該動作モードに
対応する異なるトークンを生成し、構文規則Ａを有する
前記構文解析部に渡し、該構文解析部は、字句解析部か
ら動作モードに対応するトークンを受理したとき、動作
モードに対応するトークンが構文規則Ａに含まれていれ
ば構文規則Ａを有効とし、含まれていない場合は構文規
則を無効とするようにしている。
グラミング言語コンパイラであり、字句解析部がソース
プログラムから文字列を切り出してトークンとし、構文
解析部が構文規則に従ってトークンの並びを解析し、外
部から与えられた動作モードに応じて内部の動作を変更
しうるコンパイラにおいて、あるプログラミング言語の
文法Ｘに含まれる構文規則Ａを動作モードによって有効
または無効にするために、前記字句解析部は、前記動作
モードにしたがって、特定の文字列から該動作モードに
対応する異なるトークンを生成し、構文規則Ａを有する
前記構文解析部に渡し、該構文解析部は、字句解析部か
ら動作モードに対応するトークンを受理したとき、動作
モードに対応するトークンが構文規則Ａに含まれていれ
ば構文規則Ａを有効とし、含まれていない場合は構文規
則を無効とするようにしている。
【０００９】また、前記字句解析部は、変換前のトーク
ンと動作モードと変換後のトークンからなるトークン変
換テーブルを備え、特定の文字列から生成したトークン
を前記トークン変換テーブルにより動作モードに対応す
る異なるトークンに変換するようにしている。
ンと動作モードと変換後のトークンからなるトークン変
換テーブルを備え、特定の文字列から生成したトークン
を前記トークン変換テーブルにより動作モードに対応す
る異なるトークンに変換するようにしている。
【００１０】また、初期化部を有し、該初期化部は動作
モードに対応する文字列ＩＤ−トークン対応テーブルを
生成し、前記字句解析部は、文字列ＩＤ−トークン対応
テーブルにしたがって動作モードに対応する異なるトー
クンを生成するようにしている。
モードに対応する文字列ＩＤ−トークン対応テーブルを
生成し、前記字句解析部は、文字列ＩＤ−トークン対応
テーブルにしたがって動作モードに対応する異なるトー
クンを生成するようにしている。
【００１１】
【発明の実施の形態】以下、本発明の実施例について図
面を用いて説明する。図１は実施例１のプログラミング
言語コンパイラの構成例である。このコンパイラは、ソ
ースプログラムから文字列を切り出してトークンを生成
する字句解析部１、トークン間の並びを解析してプログ
ラミング言語の文法に従っているかどうか調べ、中間語
と呼ばれる内部形式に変換する構文解析部２、意味情報
の収集、検査を行う意味解析部３、中間語の最適化を行
う最適化部４、実行可能コードを生成するオブジェクト
コード出力部５で構成されている。このうち字句解析部
１はトークン生成部６とトークン変換部７に分けられ
る。トークン生成部６は、ソースプログラムから切り出
した文字列からトークンを生成する。トークン変換部７
は、外部から与えられた動作モード（この場合はコンパ
イルオプション）で指定された構文規則選択情報８（動
作モードと等価）と、予め作成され保持されているトー
クン変換テーブル９を基にトークン生成部６で生成され
たトークンを変換する。トークン変換テーブル９はトー
クンをどのように変換すべきかが指定されているテーブ
ルで、例えば図３のように、Ａ欄，Ｂ欄，Ｃ欄で構成さ
れる。Ａ欄には変換前のトークン、Ｂ欄には構文規則選
択情報、Ｃ欄には変換後のトークンが入っている。トー
クン変換部７は、トークン生成部６で生成されたトーク
ンをＡ欄、コンパイルオプションで指定された構文規則
選択情報８を参照してこれをＢ欄に当てはめたときのＣ
欄のトークンを出力する。１つのトークンが状況によっ
て異なるトークンに変換されるので、Ａ欄の１つのトー
クンに対してＢ，Ｃ欄は複数存在する。構文解析部２は
Ｃ欄のトークンを含む構文規則に従って構文解析を行
う。
面を用いて説明する。図１は実施例１のプログラミング
言語コンパイラの構成例である。このコンパイラは、ソ
ースプログラムから文字列を切り出してトークンを生成
する字句解析部１、トークン間の並びを解析してプログ
ラミング言語の文法に従っているかどうか調べ、中間語
と呼ばれる内部形式に変換する構文解析部２、意味情報
の収集、検査を行う意味解析部３、中間語の最適化を行
う最適化部４、実行可能コードを生成するオブジェクト
コード出力部５で構成されている。このうち字句解析部
１はトークン生成部６とトークン変換部７に分けられ
る。トークン生成部６は、ソースプログラムから切り出
した文字列からトークンを生成する。トークン変換部７
は、外部から与えられた動作モード（この場合はコンパ
イルオプション）で指定された構文規則選択情報８（動
作モードと等価）と、予め作成され保持されているトー
クン変換テーブル９を基にトークン生成部６で生成され
たトークンを変換する。トークン変換テーブル９はトー
クンをどのように変換すべきかが指定されているテーブ
ルで、例えば図３のように、Ａ欄，Ｂ欄，Ｃ欄で構成さ
れる。Ａ欄には変換前のトークン、Ｂ欄には構文規則選
択情報、Ｃ欄には変換後のトークンが入っている。トー
クン変換部７は、トークン生成部６で生成されたトーク
ンをＡ欄、コンパイルオプションで指定された構文規則
選択情報８を参照してこれをＢ欄に当てはめたときのＣ
欄のトークンを出力する。１つのトークンが状況によっ
て異なるトークンに変換されるので、Ａ欄の１つのトー
クンに対してＢ，Ｃ欄は複数存在する。構文解析部２は
Ｃ欄のトークンを含む構文規則に従って構文解析を行
う。
【００１２】図２は実施例１のコンパイラのうち、字句
解析部１と構文解析部２の処理フローの例である。ソー
スプログラムが字句解析部１に入力されると文字列が切
り出される。トークン生成部６は切り出された文字列か
らトークンを生成する。トークン変換部７は、生成され
たトークンがトークン変換テーブル９のＡ欄に含まれて
いれば、現在の動作モードすなわちコンパイルオプショ
ンで指定された構文規則選択情報８を参照してＢ欄に当
てはめて、Ｃ欄に入っているトークンに変換する。実際
にはＡ欄の表引きを行わない効率的なインプリメントも
可能であるが、ここでは一例として３つの欄からなるト
ークン変換テーブルを用いている。このようにして、動
作モードであるコンパイルオプションによって異なるト
ークンが字句解析部１で生成され、そのトークンは構文
解析部２に渡される。構文解析部２には構文規則選択情
報が付加されたトークンを含む構文規則を予め用意して
おく。構文解析部２は、該用意された構文規則の中か
ら、字句解析部１から渡されたトークンが当てはまる構
文規則を選択し、この選択した構文規則に従って構文解
析を行う。
解析部１と構文解析部２の処理フローの例である。ソー
スプログラムが字句解析部１に入力されると文字列が切
り出される。トークン生成部６は切り出された文字列か
らトークンを生成する。トークン変換部７は、生成され
たトークンがトークン変換テーブル９のＡ欄に含まれて
いれば、現在の動作モードすなわちコンパイルオプショ
ンで指定された構文規則選択情報８を参照してＢ欄に当
てはめて、Ｃ欄に入っているトークンに変換する。実際
にはＡ欄の表引きを行わない効率的なインプリメントも
可能であるが、ここでは一例として３つの欄からなるト
ークン変換テーブルを用いている。このようにして、動
作モードであるコンパイルオプションによって異なるト
ークンが字句解析部１で生成され、そのトークンは構文
解析部２に渡される。構文解析部２には構文規則選択情
報が付加されたトークンを含む構文規則を予め用意して
おく。構文解析部２は、該用意された構文規則の中か
ら、字句解析部１から渡されたトークンが当てはまる構
文規則を選択し、この選択した構文規則に従って構文解
析を行う。
【００１３】次に、本実施例のコンパイラ構成法で、以
下の文法１において構文規則(５)、(６)の一方だけを選
択的に適用するコンパイラの実現方法を示す。 文法１ Ｓ→ｘｙ …(５) Ｓ→ｘｚ …(６) ここで、Ｓは開始記号、ｘ,ｙ,ｚはトークンである。ト
ークン変換テーブル９の内容は図３のようになる。Ａ欄
には構文規則(５),(６)に共通に含まれるトークンｘを
入れる。Ｂ欄にはコンパイラオプションで指定されうる
構文規則選択情報としてそれぞれ「構文規則(５)を適
用」、「構文規則(６)を適用」を入れる。また、トーク
ンｘに「構文規則(５)を適用」という情報を付加したも
のをトークンｘ1、「構文規則(６)を適用」という情報
を付加したものをトークンｘ2とし、それぞれＣ欄に入
れる。また、文法１の構文規則(５)、(６)に含まれるト
ークンｘをｘ1,ｘ2を用いて書き換えてそれぞれ構文規
則(７)、(８)とし、これを文法２とする。この文法２は
予め構文解析部２に用意しておく。構文解析部２はこの
文法２を用いて構文解析を行う。 文法２ Ｓ→ｘ1ｙ …(７) Ｓ→ｘ2ｚ …(８) 以上の構成による構文解析系の動作は次のようになる。
まず、トークン生成部６がトークンｘを生成する。トー
クンｘはトークン変換テーブル９のＡ欄に含まれている
ので、構文規則選択情報８を参照し、「構文規則(５)を
適用」であればトークンｘ1、「構文規則(６)を適用」
であればトークンｘ2にトークンｘを変換し、構文解析
部２に渡す。構文解析部２は、トークンｘ1が渡される
と構文規則(７)だけを、トークンｘ2が渡されると構文
規則(８)だけを選択し、解析する。このように、字句解
析部が外部から与えられる動作モードであるコンパイラ
オプションに応じて異なるトークンを生成し、それを構
文解析部に渡すことで、構文解析部は構文規則を動的に
切り換えて適用するコンパイラを簡単に作成することが
できる。
下の文法１において構文規則(５)、(６)の一方だけを選
択的に適用するコンパイラの実現方法を示す。 文法１ Ｓ→ｘｙ …(５) Ｓ→ｘｚ …(６) ここで、Ｓは開始記号、ｘ,ｙ,ｚはトークンである。ト
ークン変換テーブル９の内容は図３のようになる。Ａ欄
には構文規則(５),(６)に共通に含まれるトークンｘを
入れる。Ｂ欄にはコンパイラオプションで指定されうる
構文規則選択情報としてそれぞれ「構文規則(５)を適
用」、「構文規則(６)を適用」を入れる。また、トーク
ンｘに「構文規則(５)を適用」という情報を付加したも
のをトークンｘ1、「構文規則(６)を適用」という情報
を付加したものをトークンｘ2とし、それぞれＣ欄に入
れる。また、文法１の構文規則(５)、(６)に含まれるト
ークンｘをｘ1,ｘ2を用いて書き換えてそれぞれ構文規
則(７)、(８)とし、これを文法２とする。この文法２は
予め構文解析部２に用意しておく。構文解析部２はこの
文法２を用いて構文解析を行う。 文法２ Ｓ→ｘ1ｙ …(７) Ｓ→ｘ2ｚ …(８) 以上の構成による構文解析系の動作は次のようになる。
まず、トークン生成部６がトークンｘを生成する。トー
クンｘはトークン変換テーブル９のＡ欄に含まれている
ので、構文規則選択情報８を参照し、「構文規則(５)を
適用」であればトークンｘ1、「構文規則(６)を適用」
であればトークンｘ2にトークンｘを変換し、構文解析
部２に渡す。構文解析部２は、トークンｘ1が渡される
と構文規則(７)だけを、トークンｘ2が渡されると構文
規則(８)だけを選択し、解析する。このように、字句解
析部が外部から与えられる動作モードであるコンパイラ
オプションに応じて異なるトークンを生成し、それを構
文解析部に渡すことで、構文解析部は構文規則を動的に
切り換えて適用するコンパイラを簡単に作成することが
できる。
【００１４】次に、本発明の実施例２について説明す
る。実施例２では、以下の文法３の構文規則(９)を動作
モード（この場合はコンパイルオプション）によって有
効または無効にするコンパイラの実現方法を示す。文法
３には構文規則(９)以外にも構文規則が含まれている
が、ここでは省略している。 文法３ Ｓ→ｃ1 …(９) ここで、Ｓは開始記号、ｃ1はトークンである。トーク
ンｃ1は他の構文規則に含まれていないものとする。ト
ークン変換テーブル９の内容は図４のようになる。Ａ欄
にはトークンｃ1を入れる。Ｂ欄には動作モード（コン
パイラオプション）で指定されうる構文規則選択情報
（動作モードと等価）としてそれぞれ「構文規則(９)は
有効」、「構文規則(９)は無効」を入れる。また、トー
クンｃ1に「構文規則(９)は有効」という構文規則情報
を付加したものをトークンｃ1、「構文規則(９)は無
効」という構文規則情報を付加したものをトークンbad-
tokenとし、それぞれＣ欄に入れる。トークンbad-token
はそのトークンがエラーであるということ示すために用
いられるトークンで、文法３の構文規則には含まれてい
ない。
る。実施例２では、以下の文法３の構文規則(９)を動作
モード（この場合はコンパイルオプション）によって有
効または無効にするコンパイラの実現方法を示す。文法
３には構文規則(９)以外にも構文規則が含まれている
が、ここでは省略している。 文法３ Ｓ→ｃ1 …(９) ここで、Ｓは開始記号、ｃ1はトークンである。トーク
ンｃ1は他の構文規則に含まれていないものとする。ト
ークン変換テーブル９の内容は図４のようになる。Ａ欄
にはトークンｃ1を入れる。Ｂ欄には動作モード（コン
パイラオプション）で指定されうる構文規則選択情報
（動作モードと等価）としてそれぞれ「構文規則(９)は
有効」、「構文規則(９)は無効」を入れる。また、トー
クンｃ1に「構文規則(９)は有効」という構文規則情報
を付加したものをトークンｃ1、「構文規則(９)は無
効」という構文規則情報を付加したものをトークンbad-
tokenとし、それぞれＣ欄に入れる。トークンbad-token
はそのトークンがエラーであるということ示すために用
いられるトークンで、文法３の構文規則には含まれてい
ない。
【００１５】以上の構成による構文解析系の動作は次の
ようになる。
ようになる。
【００１６】トークン生成部６がトークンｃ1を生成し
たら、トークン変換部７はトークン変換テーブル９を参
照して、構文規則選択情報８を参照し、「構文規則(９)
は有効」であればトークンｃ1、「構文規則(９)は無
効」であればトークンbad-tokenにトークンｃ1を変換し
て、構文解析部２に渡す。構文解析部２には文法３の構
文規則(９)が用意されており、、トークンｃ1が渡され
ると構文規則(９)が適用される。トークンbad-tokenが
渡されると、構文解析部２には適用される構文規則がな
いので構文エラーになる。このように、字句解析部が外
部から与えられる動作モードであるコンパイラオプショ
ンに応じて異なるトークンを生成し、それを構文解析部
に渡すことで、構文規則を動的に有効、無効にするコン
パイラを簡単に作成することができる。
たら、トークン変換部７はトークン変換テーブル９を参
照して、構文規則選択情報８を参照し、「構文規則(９)
は有効」であればトークンｃ1、「構文規則(９)は無
効」であればトークンbad-tokenにトークンｃ1を変換し
て、構文解析部２に渡す。構文解析部２には文法３の構
文規則(９)が用意されており、、トークンｃ1が渡され
ると構文規則(９)が適用される。トークンbad-tokenが
渡されると、構文解析部２には適用される構文規則がな
いので構文エラーになる。このように、字句解析部が外
部から与えられる動作モードであるコンパイラオプショ
ンに応じて異なるトークンを生成し、それを構文解析部
に渡すことで、構文規則を動的に有効、無効にするコン
パイラを簡単に作成することができる。
【００１７】次に、本発明の実施例３について図面を用
いて説明する。実施例１におけるトークン生成部６の内
部では、(１)ソース上の文字列を切り出し、(２)文字列
を文字列ＩＤ（字句解析部で認識すべき文字列に固有の
ＩＤ）に変換し、(３)文字列ＩＤに対応するトークンを
生成する、という動作を行っている。文字列から文字列
ＩＤを算出するための「文字列ＩＤ算出関数」、文字列
ＩＤとトークンとの対応を記した「文字列ＩＤ−トーク
ン対応テーブル」はあらかじめ用意されている。
いて説明する。実施例１におけるトークン生成部６の内
部では、(１)ソース上の文字列を切り出し、(２)文字列
を文字列ＩＤ（字句解析部で認識すべき文字列に固有の
ＩＤ）に変換し、(３)文字列ＩＤに対応するトークンを
生成する、という動作を行っている。文字列から文字列
ＩＤを算出するための「文字列ＩＤ算出関数」、文字列
ＩＤとトークンとの対応を記した「文字列ＩＤ−トーク
ン対応テーブル」はあらかじめ用意されている。
【００１８】図５は本実施例によるプログラミング言語
コンパイラの構成例である。このコンパイラは、初期化
部１０、字句解析部１１、構文解析部１２、意味解析部
１３、最適化部１４、オブジェクトコード出力部１５で
構成されている。このうち初期化部１０は文字列ＩＤ−
トークン対応テーブル生成部１６で構成されている。ま
た、字句解析部１１はトークン生成部１７で構成されて
いる。
コンパイラの構成例である。このコンパイラは、初期化
部１０、字句解析部１１、構文解析部１２、意味解析部
１３、最適化部１４、オブジェクトコード出力部１５で
構成されている。このうち初期化部１０は文字列ＩＤ−
トークン対応テーブル生成部１６で構成されている。ま
た、字句解析部１１はトークン生成部１７で構成されて
いる。
【００１９】図６は本実施例によるプログラミング言語
コンパイラのうち、初期化部１０、字句解析部１１、構
文解析部１２の処理フローの例である。コンパイラが起
動されると、文字列ＩＤ−トークン対応テーブル生成部
１６によって文字列ＩＤ−トークン対応テーブル１８が
作成される。文字列ＩＤ−トークン対応テーブル１８に
はコンパイルオプションに応じて構文規則選択情報が付
加されたトークンを入れておく。例えば図７のように、
コンパイルオプションで「構文規則(５)を適用」が指定
されたときは文字列ＩＤ＝１のエントリにトークンｘ1
を入れ、「構文規則(６)を適用」が指定されたときは文
字列ＩＤ＝１のエントリにトークンｘ2を入れておく。
トークン生成部１７では、起動時に生成された文字列Ｉ
Ｄ−トークン対応テーブル１８を参照してトークンを生
成する。このトークンにはすでに構文規則選択情報が付
加されているので、そのまま構文解析部１２に渡され
る。構文解析部１２には、たとえば実施例１の文法２と
同様な構文規則からなる文法が用意されており、字句解
析部から構文規則選択情報が付加されたトークンが与え
られたとき、該トークンを含む構文規則に従って構文解
析を行う。
コンパイラのうち、初期化部１０、字句解析部１１、構
文解析部１２の処理フローの例である。コンパイラが起
動されると、文字列ＩＤ−トークン対応テーブル生成部
１６によって文字列ＩＤ−トークン対応テーブル１８が
作成される。文字列ＩＤ−トークン対応テーブル１８に
はコンパイルオプションに応じて構文規則選択情報が付
加されたトークンを入れておく。例えば図７のように、
コンパイルオプションで「構文規則(５)を適用」が指定
されたときは文字列ＩＤ＝１のエントリにトークンｘ1
を入れ、「構文規則(６)を適用」が指定されたときは文
字列ＩＤ＝１のエントリにトークンｘ2を入れておく。
トークン生成部１７では、起動時に生成された文字列Ｉ
Ｄ−トークン対応テーブル１８を参照してトークンを生
成する。このトークンにはすでに構文規則選択情報が付
加されているので、そのまま構文解析部１２に渡され
る。構文解析部１２には、たとえば実施例１の文法２と
同様な構文規則からなる文法が用意されており、字句解
析部から構文規則選択情報が付加されたトークンが与え
られたとき、該トークンを含む構文規則に従って構文解
析を行う。
【００２０】本実施例のコンパイラの場合、実施例１の
コンパイラのようにトークン作成後にトークンを変換す
る必要はない。すなわち、実施例１のコンパイラで必要
としていたトークン変換部７が不要になる。本実施例の
コンパイラを実施例１のコンパイラと比較すると、起動
時の文字列ＩＤ−トークン対応テーブル生成のオーバー
ヘッドが生じるという欠点がある。
コンパイラのようにトークン作成後にトークンを変換す
る必要はない。すなわち、実施例１のコンパイラで必要
としていたトークン変換部７が不要になる。本実施例の
コンパイラを実施例１のコンパイラと比較すると、起動
時の文字列ＩＤ−トークン対応テーブル生成のオーバー
ヘッドが生じるという欠点がある。
【００２１】しかし、実施例１では１トークン生成する
ごとに生じていたトークン変換のオーバーヘッドが消え
るので、大きなプログラムを解析する場合のコンパイル
効率が向上するという利点がある。
ごとに生じていたトークン変換のオーバーヘッドが消え
るので、大きなプログラムを解析する場合のコンパイル
効率が向上するという利点がある。
【００２２】
【発明の効果】以上説明したように、本発明によれば、
コンパイラ外部から与えられた動作モードに応じて、字
句解析と構文解析の範囲だけで、構文規則を動的に切り
換える構文解析系を有するコンパイラを得ることができ
る。
コンパイラ外部から与えられた動作モードに応じて、字
句解析と構文解析の範囲だけで、構文規則を動的に切り
換える構文解析系を有するコンパイラを得ることができ
る。
【図１】実施例１のコンパイラの構成を示す図である。
【図２】実施例１のコンパイラにおける処理のうち、字
句解析部と構文解析部の処理フローの例を示す図であ
る。
句解析部と構文解析部の処理フローの例を示す図であ
る。
【図３】実施例１におけるトークン変換テーブルの例を
示す図である。
示す図である。
【図４】実施例２におけるトークン変換テーブルの例を
示す図である。
示す図である。
【図５】実施例３のコンパイラの構成を示す図である。
【図６】実施例３のコンパイラの処理のうち、初期化
部、字句解析部、構文解析部の処理フローの例を示す図
である。
部、字句解析部、構文解析部の処理フローの例を示す図
である。
【図７】実施例３における文字列ＩＤ−トークン対応テ
ーブルの例を示す図である。
ーブルの例を示す図である。
１ 字句解析部
２ 構文解析部
３ 意味解析部
４ 最適化部
５ オブジェクトコード出力部
６ トークン生成部
７ トークン変換部
８ コンパイルオプションで指定される構文規則選択情
報 ９ トークン変換テーブル １０ 初期化部 １１ 字句解析部 １２ 構文解析部 １３ 意味解析部 １４ 最適化部 １５ オブジェクトコード出力部 １６ 文字列ＩＤ−トークン対応テーブル生成部 １７ トークン生成部 １８ 文字列ＩＤ−トークン対応テーブル
報 ９ トークン変換テーブル １０ 初期化部 １１ 字句解析部 １２ 構文解析部 １３ 意味解析部 １４ 最適化部 １５ オブジェクトコード出力部 １６ 文字列ＩＤ−トークン対応テーブル生成部 １７ トークン生成部 １８ 文字列ＩＤ−トークン対応テーブル
─────────────────────────────────────────────────────
フロントページの続き
(72)発明者 中嶋 啓人
神奈川県横浜市戸塚区戸塚町5030番地
株式会社 日立製作所 ソフトウェア開
発本部内
(72)発明者 赤藤 勝也
神奈川県横浜市戸塚区戸塚町5030番地
株式会社 日立製作所 ソフトウェア開
発本部内
(72)発明者 坂西 宣一郎
神奈川県横浜市戸塚区戸塚町5030番地
株式会社 日立製作所 ソフトウェア開
発本部内
(72)発明者 沼野井 淳
神奈川県横浜市戸塚区戸塚町5030番地
株式会社 日立製作所 ソフトウェア開
発本部内
(56)参考文献 特開 平２−44427（ＪＰ，Ａ)
特開 平１−316873（ＪＰ，Ａ)
特開 昭50−159940（ＪＰ，Ａ)
特開 昭60−181838（ＪＰ，Ａ)
特開 平３−71342（ＪＰ，Ａ)
特開 平１−184540（ＪＰ，Ａ)
特開 平４−98322（ＪＰ，Ａ)
インターフェース，日本，ＣＱ出版株
式会社，1992年11月 １日，Ｖｏｌ.
18，Ｎｏ．11，ｐｐ．119−128
中西正和、大野義夫，「やさしいコン
パイラの作り方」，日本，共立出版株式
会社，1980年，初版，ｐｐ．58−63
(58)調査した分野(Int.Cl.7，ＤＢ名)
G06F 9/45
G06F 9/06
ＪＳＴファイル（ＪＯＩＳ)
ＣＳＤＢ（日本国特許庁)
Claims (4)
- 【請求項１】 字句解析部と構文解析部を含むプログラ
ミング言語コンパイラにおけるコンパイル方法であっ
て、 あるプログラミング言語の文法Ｘに含まれる構文規則
が、動作モードによって該動作モードに対応する構文規
則になる場合、前記字句解析部は、変換前のトークンと
動作モードと変換後のトークンからなるトークン変換テ
ーブルを備え、特定の文字列から生成したトークンを前
記トークン変換テーブルにより動作モードに対応する異
なるトークンに変換し、動作モードに対応するトークン
を含む構文規則を有する前記構文解析部に渡し、該構文
解析部は、字句解析部からトークンを受理したとき、該
トークンを含む構文規則だけを選択的に適用可能にする
ことを特徴とするコンパイル方法。 - 【請求項２】 字句解析部と構文解析部を含むプログラ
ミング言語コンパイラにおけるコンパイル方法であっ
て、 あるプログラミング言語の文法Ｘに含まれる構文規則が
動作モードによって有効または無効になる場合、前記字
句解析部は、変換前のトークンと動作モードと変換後の
トークンからなるトークン変換テーブルを備え、特定の
文字列から生成したトークンを前記トークン変換テーブ
ルにより動作モードに対応する異なるトークンに変換
し、動作モードに対応するトークンを含む構文規則を有
する前記構文解析部に渡し、該構文解析部は、字句解析
部からトークンを受理したとき、該トークンを含む構文
規則だけを有効とし、該トークンを含む構文規則がない
場合は構文規則を無効とすることを特徴とするコンパイ
ル方法。 - 【請求項３】 初期化部と字句解析部と構文解析部を含
むプログラミング言語コンパイラにおけるコンパイル方
法であって、 あるプログラミング言語の文法Ｘに含まれる構文規則
が、動作モードによって該動作モードに対応する構文規
則になる場合、前記初期化部は動作モードに対応する文
字列ＩＤ−トークン変換テーブルを生成し、前記字句解
析部は、特定の文字列から前記文字列ＩＤ−トークン対
応テーブルに従って動作モードに対応する異なるトーク
ンを生成し、動作モードに対応するトークンを含む構文
規則を有する前記構文解析部に渡し、該構文解析部は、
字句解析部からトークンを受理したとき、該トークンを
含む構文規則だけを選択的に適用可能にすることを特徴
とするコンパイル方法。 - 【請求項４】 初期化部と字句解析部と構文解析部を含
むプログラミング言語コンパイラにおけるコンパイル方
法であって、 あるプログラミング言語の文法Ｘに含まれる構文規則が
動作モードによって有効または無効になる場合、前記初
期化部は動作モードに対応する文字列ＩＤ−トークン変
換テーブルを生成し、前記字句解析部は、特定の文字列
から前記文字列ＩＤ−トークン対応テーブルに従って動
作モードに対応する異なるトークンを生成し、動作モー
ドに対応するトークンを含む構文規則を有する前記構文
解析部に渡し、該構文解析部は、字句解析部からトーク
ンを受理したとき、該トークンを含む構文規則だけを有
効とし、該トークンを含む構文規則がない場合は構文規
則を無効とすることを特徴とするコンパイル方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29457696A JP3370243B2 (ja) | 1996-10-16 | 1996-10-16 | コンパイル方法及び装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP29457696A JP3370243B2 (ja) | 1996-10-16 | 1996-10-16 | コンパイル方法及び装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH10124326A JPH10124326A (ja) | 1998-05-15 |
| JP3370243B2 true JP3370243B2 (ja) | 2003-01-27 |
Family
ID=17809573
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP29457696A Expired - Fee Related JP3370243B2 (ja) | 1996-10-16 | 1996-10-16 | コンパイル方法及び装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3370243B2 (ja) |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS57533B2 (ja) * | 1974-06-14 | 1982-01-07 | ||
| JPS60181838A (ja) * | 1984-02-28 | 1985-09-17 | Fujitsu Ltd | コンパイラ |
| JPH01184540A (ja) * | 1988-01-19 | 1989-07-24 | Fujitsu Ltd | 構文解析方式 |
| JPH01316873A (ja) * | 1988-06-16 | 1989-12-21 | Nec Corp | 翻訳システムの予約語テーブル管理方式 |
| JPH0244427A (ja) * | 1988-08-05 | 1990-02-14 | Nippon Telegr & Teleph Corp <Ntt> | プログラム翻訳変換方式 |
| JPH0371342A (ja) * | 1989-08-11 | 1991-03-27 | Nec Corp | 予約語判定方式 |
| JPH0498322A (ja) * | 1990-08-10 | 1992-03-31 | Fujitsu Ltd | コンパイラの作成方法 |
-
1996
- 1996-10-16 JP JP29457696A patent/JP3370243B2/ja not_active Expired - Fee Related
Non-Patent Citations (2)
| Title |
|---|
| インターフェース，日本，ＣＱ出版株式会社，１９９２年１１月 １日，Ｖｏｌ．１８，Ｎｏ．１１，ｐｐ．１１９−１２８ |
| 中西正和、大野義夫，「やさしいコンパイラの作り方」，日本，共立出版株式会社，１９８０年，初版，ｐｐ．５８−６３ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH10124326A (ja) | 1998-05-15 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0993640B1 (en) | Command parsing and rewrite system and method | |
| US7823139B2 (en) | Method and system for translating programming languages | |
| JPH07105012A (ja) | 言語処理プログラムのコンパイル処理方式 | |
| Watson | A practical approach to compiler construction | |
| Bochmann et al. | Compiler writing system for attribute grammars | |
| RU2115158C1 (ru) | Способ и устройство для достоверной оценки семантических признаков в синтаксическом анализе при проходе вперед слева направо | |
| JP2879099B1 (ja) | 抽象構文木処理方法、抽象構文木処理プログラムを記録したコンピュータ読み取り可能な記録媒体、抽象構文木データを記録したコンピュータ読み取り可能な記録媒体、及び、抽象構文木処理装置 | |
| Koskimies et al. | The design of a language processor generator | |
| JP3370243B2 (ja) | コンパイル方法及び装置 | |
| Paakki | Prolog in practical compiler writing | |
| Bahlke et al. | Design and structure of a semantics-based programming environment | |
| Koskimies | Lazy recursive descent parsing for modular language implementation | |
| JPH07182179A (ja) | オブジェクト指向データベース管理装置 | |
| Meijer | The project on extended affix grammars at Nijmegen | |
| JP3003459B2 (ja) | プログラム作成支援装置 | |
| Joisha et al. | The Design and Implementation of a Parser and Scanner for the MATLAB Language in the MATCH Compiler | |
| Bottos et al. | Generation of syntax-directed editors with text-oriented features | |
| Amal et al. | Software tool for translating pseudocode to a programming language | |
| CN118069149A (zh) | 一种用于ros机器人任务规划的图形化pddl编译方法及系统 | |
| JPH07121379A (ja) | 複数言語混在コンパイラ | |
| JPH08286927A (ja) | アセンブラ処理方式 | |
| Helzerman et al. | Parallel parsing of spoken language | |
| JP3141945B2 (ja) | コンパイル装置 | |
| Mackie | Undergraduate Topics in Computer Science | |
| Miles et al. | Implementing generalized operator overloading |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20071115 Year of fee payment: 5 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081115 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081115 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091115 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20101115 Year of fee payment: 8 |
|
| LAPS | Cancellation because of no payment of annual fees |