JPH04313123A

JPH04313123A - 構文規則処理方法

Info

Publication number: JPH04313123A
Application number: JP10505991A
Authority: JP
Inventors: Kyoko Ohashi; 恭子大橋; Kaoru Yokota; 横田　かおる
Original assignee: Agency of Industrial Science and Technology
Current assignee: National Institute of Advanced Industrial Science and Technology AIST
Priority date: 1991-04-11
Filing date: 1991-04-11
Publication date: 1992-11-05

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、計算機において、利用
者の定義する構文規則に従うパーザの生成等のための構
文解析条件の生成を行う構文規則処理方法に関する。

【０００２】例えば証明問題の処理を支援するシステム
に、論理式等を入力する場合に、その論理式を表す入力
データの文法は問題の分野によって異なることがあり、
又新しい論理関係等を定義することによって、より簡明
な記述を可能にする等の改良が行われるので、そのよう
な構文規則を利用者が容易に定義できることが望まれる
。

【０００３】

【従来の技術】計算機システムにおいて、利用者の望む
形式で入出力を行うために、入出力する文字列の形式を
、構文規則によって利用者が規定できるようにする利用
上の要求がある。

【０００４】そのような利用者との入出力インタフェー
スを提供するシステムでは、いわゆるパーザを設けて、
入力文字列を構文規則に従って解析して内部構造を生成
する処理を行い、又必要な場合には入力された式等を評
価するが、前記のように構文規則を利用者が規定できる
ようにすると、その構文規則ごとにパーザが必要になる
。

【０００５】そこでパーザについては、一定の形式で表
す構文規則に従ってパーザを自動作成する手法を、本出
願人が特願昭６３−２８１３０６　「内部構造データ付
加処理方法」に開示した。

【０００６】ここで、所望の構文規則に従って正しく構
文解析を行うパーザを生成するためには、厳密に定義さ
れた構文規則が、パーザ生成システムに入力されなけれ
ばならないが、計算機を使用する応用分野の利用者にと
っては、完全な構文規則を作成することがしばしば困難
である。

【０００７】たとえば、図２（ａ）に例示するような構
文規則は、公知のいわゆる文脈自由文法に基づいた記法
によるもので、図の中で英数小文字で非終端記号、引用
記号の「“」と「”」で括ったもので終端記号を示し、
両者を構文要素として、構文要素を「，」と「→」と「
；」を使ってつないで構文規則を表す。

【０００８】こゝで「；」は各構文規則の終わりを示す
符号で、各構文規則は「→」の左辺に１個の非終端記号
を置き、右辺に１個又は「，」で区切った複数個の構文
要素からなる構文要素の並びを置いて、「左辺の非終端
記号とは、右辺の構文要素の並びである」ことを示す。なお、右辺に終端記号１個のみのものを辞書型構文規則
、それ以外を規則型構文規則という。

【０００９】この例の場合に、例えば非終端記号「ｅｘ
ｐｒ」の構文規則においては、「ｅｘｐｒ，”＋”，ｔ
ｅｒｍ　」のように「ｔｅｒｍ」なる非終端記号を設け
て、演算子「＋」と「−」に関わる規則が定義され、「
＊」と「／」に関わる規則は、「ｔｅｒｍ」の構文規則
として分離し、「ｔｅｒｍ，”＊”，ｆａｃｔｏｒ　」
等によって定義されている。

【００１０】このようにすることにより、演算子「＋」
及び「−」と、演算子「＊」及び「／」との間に式の評
価における優先順位の違いがあることを示すことができ
る。

【００１１】

【発明が解決しようとする課題】演算子の優先順位に関
する規則を定義するのに、前記の例のような記法を利用
することは、そのような規則の構成に習熟していない利
用者には必ずしも容易ではなく、単に表現形式に着目し
て構文規則を作成した場合には、例えば図２（ｂ）のよ
うな規則になり易く、その場合には演算子の優先順位が
あいまいになる。

【００１２】本発明は、前記のようなあいまい性のある
構文規則から、有効な構文解析データを生成できるよう
にして、構文規則の作成を容易にした構文規則処理方法
を目的とする。

【００１３】

【課題を解決するための手段】図１は、本発明の構成を
示すブロック図である。図は構文規則処理方法の構成で
あって、所要の構文の構文解析条件を生成する処理３に
おいて、所定形式の構文規則１と演算子定義２とを入力
とし、演算子定義２は、該構文規則に使用される演算子
について、各演算子に従って式を評価する場合の該演算
子間の優先順位を示し、構文規則１を、該優先順位を参
照して処理して、構文解析条件４を生成する。

【００１４】前記演算子定義２には、所要の演算子につ
いて、結合性を指定する情報を有し、該結合性に従って
、該演算子の引数と該演算子との該優先順位を決定し、
又、前記演算子定義２及び構文規則１には、所要の演算
子についてラベルを付し、該演算子を表す記号と該ラベ
ルとによって、該演算子の異同を識別することができる
。

【００１５】

【作用】本発明の処理方法により、文脈自由文法の記法
で構文規則として記述する規則の中では演算子の優先順
位が規定される必要がなく、別に演算子定義により演算
子の優先順位を示す情報を、構文規則と共に入力するこ
とにより、あいまい性の無い構文解析条件を生成するこ
とができる。

【００１６】演算子定義は、例えば演算子を示す記号を
優先順位の順に並べることによって優先順位を示すこと
ができるので、特に記述に習熟を要するようなことはな
く、利用者は容易に構文規則の情報を作成することがで
きる。

【００１７】

【実施例】図３は演算子定義の記述例を説明する図であ
り、図３（ａ）に示すように、「ｏｐｅｒａｔｏｒ」で
演算子定義を示し、引用記号で括って示す演算子記号を
優先順位ごとに「；」で区切って、優先順位の高い順に
並べて優先順位を定義する。括弧で括ったものは、同じ
優先順位である。

【００１８】図３（ｂ）は、結合性の指定を加える場合
の例で、図示のように多項演算子の必要な演算子記号の
後に「：ｌｅｆｔ」と指定し、又、必要な場合には「：
ｒｉｇｈｔ　」と指定することにより、その演算子が続
く場合の評価を左から右の順に行うか、右から行うかを
指定することができるようにする。

【００１９】図３（ｃ）はラベルを付ける例で、必要な
演算子の記号の後に「：ラベル」の形式で指定する（図
は「ｕｎａｒｙ　」というラベルを付けた例）　。この
ようにラベルを付すことにより、図の例のように同じ記
号「−」が、負号と減算記号の両方に使われるために２
個所に現れるような場合に、その区別を明確にできる。

【００２０】図３（ｄ）は結合性指定とラベルとを共に
加えた場合の、演算子定義の例である。この場合に、例
えば結合性指定のために予約する前記のｌｅｆｔ及びｒ
ｉｇｈｔ　以外をラベルとして認識する。

【００２１】図３（ｃ）、（ｄ）の場合のように、ラベ
ルを付けた場合には、それに対応して構文規則の中の演
算子にもラベルを表示し、その結果混同が生じなくなる
場合には、構文規則を図２（ｃ）のように（ｂ）の場合
より更に簡単にすることができる。

【００２２】図４は、図１における処理３の処理の流れ
の一例を示す図であり、構文規則１を入力して、処理ス
テップ１０で構文規則の１つを取り出す。処理ステップ
１１、１２、１３で識別して、規則が辞書型構文規則で
あるか、規則の右辺が単一の非終端記号のみであるか、
右辺に演算子が無い場合には、処理ステップ１４で従来
と同様に処理するように、その規則をそのまま構文解析
条件４として、例えばパーザ作成部に渡す。

【００２３】以上の条件を満足しない場合、即ち規則型
構文規則であって、演算子を含む規則の場合には、処理
ステップ１５に進んで、規則の右辺にある演算子の１つ
を取り出して以下のように処理する。

【００２４】即ち、予め演算子定義２の入力に基づいて
、演算子データ作成処理３０によって、各演算子の優先
順位等を示す演算子データ３１を作成しておく。図５は
、図３（ｄ）に対応する演算子データの例を示す図であ
る。

【００２５】前記のように演算子を取り出すと、処理ス
テップ１６でその演算子の記号と、ラベルがある場合の
ラベルとによって、該当する演算子データを取り出す。処理ステップ１７で、現に処理中の規則の左辺の非終端
記号の構文規則に現れる演算子の優先順位の、最も低い
ものより更に低い優先順位としてＢを定める。

【００２６】処理ステップ１８で、演算子データから結
合性を識別して、ｌｅｆｔであれば『この演算子の右側
にある非終端記号は、この演算子の優先順位より高い優
先順位を持つ』ことを条件とする。

【００２７】又、ｒｉｇｈｔ　であれば『この演算子の
右側にある非終端記号は、この演算子の優先順位と同じ
か、より高い優先順位を持つ』ことを条件とする。なお
、結合性指定の無い場合には、予め省略時の値として定
めるところに従いｌｅｆｔかｒｉｇｈｔ　かをとる。又
、単項演算子の場合には、その引数になる非終端記号に
、前記ｒｉｇｈｔ　の場合と同様の条件を付ける。

【００２８】処理ステップ２１で、『ここで非終端記号
に還元されたものには前記の優先順位Ｂを付ける』こと
を条件とする。以上の後、処理ステップ２２で構文規則
に、前記で定まる条件をつけたデータを、構文解析デー
タとしてパーザ作成部に渡し、処理ステップ２３で識別
して、処理すべき構文規則があれば処理ステップ１０に
戻る。

【００２９】以上の処理により、例えば従来図２（ａ）
の構文規則から得られる構文解析条件と同等のデータを
、図２（ｃ）の構文規則と図３（ｄ）の演算子定義から
得ることができる。

【００３０】その構文解析条件を従来と同様に処理する
ことにより、例えば図６にＰＲＯＬＯＧプログラミング
言語風に記述されたプログラムで示すような、パーザを
作成することができる。

【００３１】このパーザは、図２（ｃ）の構文規則と図
３（ｄ）の演算子定義から得られるパーザであり、図６
のプログラムにおいて、例えば最初の「ｅｘｐｒ」で始
まる４行の文で言えば、文中に太字で示す「３」及び「
４」が、前記の処理ステップ１９及び処理ステップ２１
で付けられた条件によって定まる優先順位の値である。

【００３２】

【発明の効果】以上の説明から明らかなように本発明に
よれば、計算機において、利用者の定義する構文規則に
従うパーザの生成等のにおいて、あいまい性のある構文
規則から、有効な構文解析データを生成できるようにし
て、構文規則の作成を容易にするので、システムの利用
性を向上するという著しい工業的効果がある。

【図面の簡単な説明】

【図１】　　本発明の構成を示すブロック図

【図２】　
　構文規則の説明図

【図３】　　本発明の演算子定義の説明図

【図４】　　
本発明の処理の流れ図

【図５】　　演算子データの説明図

【図６】　　パーザの一例を示す図

【符号の説明】

１　　構文規則２　　演算子定義、３　　処理４　　構文解析条件１０〜２３　　処理ステップ３０　　演算子データ作成処理３１　　演算子データ

Claims

【特許請求の範囲】

【請求項１】　　所要の構文の構文解析条件を生成する
処理において、所定形式の構文規則（１）と演算子定義
（２）とを入力とし、該演算子定義（２）は、該構文規
則（１）に使用される演算子について、各演算子に従っ
て式を評価する場合の該演算子間の優先順位を示し、該
構文規則（１）を、該優先順位を参照して処理して、該
構文解析条件（４）を生成する（３）ように構成されて
いることを特徴とする構文規則処理方法。
【請求項２】　　前記演算子定義（２）には、所要の演
算子について、結合性を指定する情報を有し、該結合性
に従って、該演算子の引数と該演算子との該優先順位を
決定する、請求項１記載の構文規則処理方法。
【請求項３】　　前記演算子定義（２）及び構文規則（
１）には、所要の演算子についてラベルを付し、該演算
子を表す記号と該ラベルとによって、該演算子の異同を
識別する、請求項１又は請求項２記載の構文規則処理方
法。