JPH0281230A

JPH0281230A - 構文解析および言語処理システム

Info

Publication number: JPH0281230A
Application number: JP63232376A
Authority: JP
Inventors: Ichiro Kushima; 久島　伊知郎
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1988-09-19
Filing date: 1988-09-19
Publication date: 1990-03-22
Also published as: US4989145A

Abstract

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

Description

【発明の詳細な説明】〔産業上の利用分野〕本発明はプログラミング言語処理システムにおける構文
解析方式およびそれを利用した言語処理システムに関す
る。

〔従来の技術〕

従来、コンパイラ等で行われている構文解析処理では、
構文エラーを含んだプログラムを入力した場合でも、エ
ラーを検出した時点で解析処理を終了してしまうのでは
なく、構文エラーの起こった状況に応じて、プログラム
のある範囲を読み飛ばしたり、プログラムに適当な字句
を挿入するなどのエラー回復処理をして解析処理を続行
しようとする。この手法については、例えば、コンピュ
ータ・ランゲージ、ヴオリューム９．ナンバー１（１９
８４年）、第５１頁から第６７頁（Ｃｏｍｐｒｔａｒ　
　Ｌａｎｇｕａｇｅ、　　Ｖｏｌ、９　　、　　Ｎｏ、
１（１９８４）、ｐｐ、５ｌ−６７）に記載がある。

これら従来の方法では、構文エラーが検出された時に、
どのような回復処理を行うか、即ちどのような字句が現
れるまでプログラムを読み飛ばすか、あるいはどのよう
な構文要素を補って解析を続けるかということについて
は、言語の構文規則に基づいて決定している。

〔発明が解決しようとする課題〕

上記従来技術においては、エラー回復の方法を決定する
上で、プログラムのインデンテーション（字下げ２段付
けとも呼ばれる）の付は方については考慮されていなか
った。

一般に自由書式と呼ばれているプログラミング言語、即
ち、構文上、字句と字句の間で自由に改行や空白の挿入
を行なえるプログラミング言語では、プログラムの読み
易さを向上させるために、与えられたプログラムに対し
て、どのようなインデンテーションを行うべきか、即ち
、どこで改行して行の初めにどれだけの空白をいれるか
（インデントをするか）ということを、プログラマの方
で決めていることが多い（そのような規則は構文上、定
められていないにもかかわらず）。例えば。

ＰＡＳＣＡＬのようなブロック型言語では、ブロックの
始めと終りを表すｂｅｇｉｎとｅｎｄ、およびそのブロ
ックに属する文月は同一インデントで書くとか、複数の
ブロックがネストしているときは内側のブロックはど右
側に寄せて書く（インデントを大きくする）とかいう規
則がそれである。その結果、ある規則に従ってインデン
テーションを付けてあれば、たとえ構文エラーを含んだ
プログラムであっても１人間にとっては、プログラムを
書いた人の意図するところを推測することができた。

ところが一般のコンパイラ等で用いられている構文解析
ではこのような情報を利用することがなく、的外れなエ
ラー回復をすることがあった。

本発明の目的は、構文エラーを検出した時、プログラム
のインデンテーションの状態に関する情報を利用して、
エラーから回復する方法を提供することにある。

さらに、プログラムに構文エラーが含まれてなかった場
合でも、インデンテーション規則違反があった場合には
、そのプログラムは誤りを含んでいる可能性が多い。本
発明の他の目的は、そのような誤りを検出してユーザに
警告する機能を持つ言語処理システムを提供することに
ある。

〔課題を解決するための手段〕

上記目的を達成するため、本発明の構文解析方式では、
解析対象のプログラミング言語のインデンテーション規
則を記憶する記憶手段と、入力プログラム中の各字句が
どれだけインデントされているかを表す情報を記憶する
記憶手段とを有し、プログラム中に構文エラーが検出さ
れた時に、構文規則の他に、上記情報と上記規則に基づ
いてエラーからの回復方法を決定する。

また、本発明の言語処理システムでは、解析対象のプロ
グラミング言語のインデンテーション規則を記憶する記
憶手段と、入力プログラムが上記規則に従っているかを
判定する判定手段と、上記判定に基づいて、規則に従っ
ていない場合にメツセージを出力する出力手段を有する
。

〔作用〕

本発明においては、構文解析部は、入力信号もしくは入
力信号を切り分けてできたトークンのほかに、そのトー
クンがプログラム上でどれだけインデントされているか
という情報を受は取る（たとえばトークンの開始位置）
、そして、その情報をスタック等の記憶手段に記憶しな
がら構文解析を行い、構文エラーを検出した時は、その
情報とインデンテーション規則に基づいてエラー回復の
ために行う処理を決定する。このため、プログラムのイ
ンデンテーションの付は方に応じたエラー回復の方法を
とることが可能である。また、これに、入カドークン列
がインデンテーション規則に従っているかを判定する判
定手段とメツセージ出力手段を設けることにより、イン
デンテーション規則に違反していた場合に、警告メツセ
ージを出力することができる。

〔実施例〕

本発明の実施例を第１図から第１１図を用いて説明する
。

第１図は、本発明の構文解析方式を適用したコンパイラ
のブロック構成図である。なお、このコンパイラは本発
明の言語処理システムの実施例ともなっている。即ち、
構文的には正しくともインデンテーション規則に従って
いないプログラムに対してはエラーメツセージを出方す
る機能を有する。

ソースファイル１はコンパイルすべきプログラムを格納
している１字句解析部２がこれを読み出して、入力記号
例を、最小の意味単位であるトークンに切り分け５　ト
ークンキュー３に入れる。構文解析部４は、構文解析用
スタック５と、標準となるインデンテーション規則を記
憶したインデンテーション規則表６を用いながら、トー
クンキュー３内のトークン例について構文解析を行ない
、中間コードを生成する。その際、構文エラーやインデ
ンテーション規則違反を検出した時は、必要に応じてエ
ラー回復処理を行ない、エラー情報をメツセージファイ
ル７に出方する。コード生成部８は、構文解析部４から
渡された中間コードをオブジェクトコードに変換し、オ
ブジェクトファイル９に出力する。また、インデンテー
ション規則表６の内容は予めインデンテーション規則表
生成部１１がインデンテーション規則ファイル１ｏを読
み出して作成しておく。

第２図は、本実施例のコンパイラの処理するプログラミ
ング言語の構文規則をＢ　ＮＦ　（Ｂａｃｋ　ｕｓ−Ｎ
ａｕｒ　Ｆ　ｏｒｍ）で表わしたものである。ＢＮＦの
意味やその説明で用いられる用語については中田育男著
「コンパイラ」第３章に記載されている。

第３図°は１本実施例のコンパイラの処理するプログラ
ミング言語のインデンテーション規則を構文規則ごとに
表示したものである。インデンテーションの仕方は、各
記号の右肩に付けた数字によって示されている。数字は
インデンテーションのレベル、即ちその記号を行の先頭
からどれだけインデントして書くべきかを表わしていて
、数が大きいほど大きくインデントする（右側に寄せて
書く）ことを意味する。ただし、これらの数字はＢＮＦ
の左辺の記号のインデンテーションレベルからの相対的
なレベル差を表わしているものである。例えば、第３図
（１１）の規則は、ｂｅｇｉｎとｅｎｄのインデンテー
ションレベルを、〈文〉のそれと等しくし、〈文月〉の
インデンテーションレベルをそれよりも１段大きくする
ことを意味する。

なお、右肩に数字が付いていない記号は、それらの記号
が行の先頭に来てはいけないか、それらの書かれる位置
については規制しないことを意味する。インデンテーシ
ョン規則表６には第３図で示されている情報が予め記憶
されている。

次にトークンキュー３について第４図を用いて説明する
。トークンキューはＦ　Ｉ　ＦＯ（ＦｉｒｓｔＩｎ　Ｆ
ｉｒｓｔ　０ｕｔ）方式の記憶領域であり、字句解析部
２で切り出したトークンを構文解析部４へ渡すのに使わ
れる。トークンキューの各要素は、トークンとそのトー
クンのインデンテーションレベルを表わす数字の対でで
きており１例えば第４図（ａ）のようなプログラムを字
句解析部２が処理した場合、トークンキューの中身は同
図（ｂ）のようになる、この図でインデンテーションレ
ベルを示すフィールドが「−」になっているのは、その
トークンが行の先頭にないことを意味している。

次に構文解析部４について第５図〜第１１図を用いて説
明する。

第５図は構文解析部４のモジュール関連図である。構文
解析部は通常処理部４１、エラー処理部４２、中間コー
ド生成部４３の３つの部分から成っている。入カドーク
ン列が構文規則に従っている間は通常処理部で構文解析
を行ない、適当な時点で中間コード生成部を呼出して中
間コードを生成する。一方、入カドークン列に構文的な
誤りがあって解析をこれ以上正常に進めることができな
くなった場合はエラー処理部４２が呼び出される。

エラー処理部では通常の構文解析が再開できるように構
文解析用スタック５またはトークンキュー３の内容に変
更を加え、適当なエラー情報を出力し、しかる後に通常
処理部に制御を戻す。

第６図は通常処理部の処理の手順のフローチャートであ
る。ここでは、碑文解析の手法として、上向き（ｂｏｔ
ｔｏ■−ｕｐ）構文解析の中の、一般にシフト・リデュ
ース（ｓｈｉｆｔ−ｒｅｄｕｃｅ）法と呼ばれている方
法を用いている。この方法の詳細、および用語について
はエイホ他著［プリンシプルズ・オブ・コンパイラ・デ
ザイン」に記載されているので、ここでは本発明の特徴
となる部分だけを説明する。

まずステップ６１で、トークンキュー３が空であるかを
調べ、空の場合はさらにステップ６２で構文解析用スタ
ック５が空であるかを調べ、空であれば入カドークン列
がすべて解析できたので処理を終了する。スタック５が
空でない場合は構文エラーであるので、エラー処理部４
２を呼出す（ステップ６６）、　トークンキュー３が空
でない時は、その先頭のトークンを見て、そのトークン
がシフト可能か否か、またはそのトークンによりリデュ
ース可能か否かを調べる（ステップ６３）。

どちらも可能でないときは構文エラーであるのでやはり
エラー処理部を呼び出す。シフト可能であるときはステ
ップ６４で、シフト操作、即ち、キ二一の先頭トークン
をトークンキューより取り出し、それを構文解析用スタ
ック５にブツシュする操作を行ない、ステップ６１に戻
る。一方リデユース可能の場合はステップ６５に進み、
リデュース操作、即ちスタックトップの記号列を、その
記号列を生成するＢＮＦの左辺の非終端記号で置き換え
る操作を行なう、そしてステップ６７で中間コード生成
部４３を呼出し、同様にステップ６１に戻る。エラー処
理部の処理が終ったときも同様にステップ６１に進んで
処理を繰り返す。

ステップ６４でシフト操作をする場合は、単にトークン
キューから取り出した要素（トークンとそのインデンテ
ーションレベルの対）をそのままスタックにブツシュす
ればよいが、ステップ６５のリデュース操作の場合は、
リデュースする記号列がインデンテーション規則に従っ
ているかをチエツクし、従っていない場合は、エラー情
報を出力する。これを第７図を用いて説明する。

いま、構文解析用スタックの内容が第７図（ａ）に示す
ような状態であり、キューの先頭要素がｅｎｄであった
とする。この時はリデュース操作が可能である。即ち、
スタック中のｉｆから〈文〉までの記号列を第２図のＢ
ＮＦの（１４）の規則を用いて１つの〈文〉にリデュー
スすることができる。このとき、ｉｆから〈文〉までの
並びが第３図のインデンテーション規則（１２）にも合
致しているかをチエツクする。すると、インデンテーシ
ョン規則（１２）の方では、ｉｆとｅｌｓｅのレベルが
等しく、二つの〈文〉のレベルがそれよりも１段大きく
なければならないといっている。実際のスタックの方は
それらレベルがそれぞれ３，３，４゜４であるのでこの
規則に合致することがわかる。

そこで全体の〈文〉のレベルが３であると計算され、リ
デュースの後は第７図（ｂ）のような状態になる。一方
、構文解析用スタックの内容が第７図（ｃ）に示すよう
な状態であれば、同様にリデュース可能であるが、イン
デンテーション規則には反していることがわかる。この
場合はウオーニングメツセージがメツセージファイル７
に出力される。

次にエラー処理部４２の処理について、第８図のフロー
チャートを用いて説明する。まず、ステップ８１で、正
しいプログラムトークン列の候補集合を生成する。これ
は、現在解析中の入カドークン列と少しだけ異なるトー
クン列が、プログラマの意図する正しい入カドークン列
であるという仮定に基づいて、そのような、いわば正し
いプログラムの候補となるトークン列の集合を、現在の
トークンキューと構文解析用スタックの内容を基にして
求めるものである。具体的には、トークンキュー中のト
・−クン列をｔｔ　　ｔｚ　　ｔ、　　ｔ４　・・・と表わした時（
ｔｘが先頭）、（ｉ）ｔ、の前に別のトークンｔを挿入
する、（ｎ）ｔｌを削除する、（ｉｉｉ）　ｔ、を別の
トークンｔに置換する、（ｉｖ　）ｔ２とｔｌを交換す
る。（ｖ）ｔ工とｔ２を合わせて１つのトークンとする
１等の方法で生成することができる。既にトークンキュ
ーの中から取り出してしまって、トークンキューの中に
はないトークンについても、構文解析用スタック５に積
まれた内容から、トークンキューの内容をある程度復元
することができるので、上記のような変更を行なうこと
は可能である。なお、生成される候補の数を抑えるため
に、公知例で挙げた文献の中に様々な手法が記載されて
いて、本実施例でもそれを適用することができる。

次にステップ８２で、候補の中から、最適と考えられる
ものを選出する。この選出方法については、元のトーク
ン列から、正しいトークン列へ変更するための変更コス
トをコスト関数によって計算し、このコストが最小のも
のを選ぶことによって行なう。コスト関数の定め方は、
例えば、各トークンに対して、そのトークンを挿入する
コストや削除するコスト等を予め決めておき、変更に要
するこれらの操作（挿入・削除）のコストの和を全体の
変更コストとする方法が知られている０本実施例では、
これに加えて、生成したトークン列がインデンテーショ
ン規則に従っているかどうかという評価を行ない、イン
デンテーション規則に従っていない場合にはコストが高
くなるようにして、インデンテーション規則に従うよう
な変更が優先して選ばれるようにする。

次にステップ８３で１選ばれたトークン列を処理する状
態になるようにトークンキュー３と構文解析用スタック
５の内容を変更し、Ｍ後にステップ８４で構文エラーが
検出されたことと、その結果どのようなエラー回復処理
をしたかを、エラー情報としてメツセージファイル７に
出力する。

次にこの処理の例を第９図と第１０図を用いて説明する
。第９図のプログラムは第２図の構文規則で示されるプ
ログラミング言語で書かれたものであるが、構文エラー
を含んでいる。プログラミング経験を持つ人間であれば
、インデンテーションの付は方から、エラーの原因が、
第１０行のｅｎｄに対応するｂｅｇｉｎが無い、という
ことを容易に推測できる。しかし、プログラムを先頭か
ら見ていく通常の構文解析では、第１０行のｅｎｄは第
４行のｂｅｇｉｎに対応しているとみなされ、従って第
１１行のｃａｌｌを見た時点で初めてエラーを検出する
。よって、本実施例の構文解析部ではこの時点で、制御
が通常処理部４１からエラー処理部４２に移される。エ
ラー処理部ではまずステップ８１で正しいプログラムト
ークン列の候補を生成する。

これらを第１０図に示す、ただしこの図では見易さのた
めトークン列の形ではなくプログラムの形で書き、また
プログラム全体を示した。この場合生成される候補集合
は、第１１行以降のトークンをそっくり削除したもの（
第１０（ａ））、第１０行のｅｎｄを削除したもの（同
図（ｂ））、第９図の前にｂｅｇｉｎを挿入したもの（
同図（Ｃ））、第８図の前にｂｅｇｉｎを挿入したもの
（同図（ｄ））等からなる。次にステップ８２で、これ
らの変更コストを求める。いま変更コストを、トークン
１つ当たり、挿入、削除とも１であるとすると、（ａ）
〜（ｄ）の変更コストはそれぞれ５，１，１゜１となる
。さらにインデンテーション規則に照らし合わせてみる
と、（ａ）は第３図の規則の（１１）と（１５）に、（
ｂ）と（ｃ）は規則（１５）に反しているのに対し、（
ｄ）は規則に合致している。これらの結果から（ｄ）が
最終的に選ばれることになる０次にステップ８３でトー
クンキューと構文解析用スタックの内容を、（ｄ）を処
理しようとする状態に戻す、最後にステップ８４で、構
文エラーを検出したがｂｅｇｉｎを挿入して解析を続行
したという旨のエラーメツセージを出力して処理を終了
する。

第９図〜第１０図で示した例からもわかるように、本実
施例によれば、プログラムを構成するトークンの一次元
的な並びだけではなく、インデンテーションの付は方も
エラー回復の手掛かりとするので、構文エラーに対して
よりキメ細かい対処が可能である。特にプログラムがイ
ンデンテーション規則に従って書かれていれば、構文エ
ラーが起こったときも、確実に、プログラムを書いた人
の意図に近い形にプログラムを復元して構文解析を続け
ることができる。さらに、先程示したように本実施例に
よれば、構文規則に従っていても、インデンテーション
規則に違反したプログラムに対しては警告を与えること
ができる６例えば第１１図（ａ）に示すプログラムは構
文的にはエラーを含んでいないが、第９行がインデンテ
ーション規則に反している。これを書いた人は、　ｗｈ
ｉｌｅ文によって繰り返されるのは第８行と第９行の２
行であるということをインデンテーションによって示し
たかったのかも知れないが、従来のコンパイラでは、そ
うは解釈してくれず１ｗｈｉｌｅ文で繰り返されるのは
第８行のみで、第９行はそれに続いて１度だけ実行する
文だとみなす０本実施例のコンパイラでは、このような
プログラムに対しては例えば第１１図（ｂ）のような警
告メツセージが出され、プログラマに注意を促すことが
できる。

もちろん、このようなメツセージを出す機能は。

コンパイラのオプションとして、抑制するようにするこ
とも可能である。

なお、本実施例では、通常時の構文解析の手法として上
向き構文解析法の中のシフト・リデュース法を用いてい
たが、本発明はこれに限定されるものではない０例えば
、同様に構文解析用スタックを用いて行なう、非再帰的
下向き構文解析（ｎｏｎ−ｒｅｃｕｒｓｉｖｅ　　ｔｏ
ｐ−ｄｏｗｎ　ｐａｒｓｉｎｇ）法を用いても実現でき
る。この場合、本実施例と同様に、構文解析用スタック
の要素を、トークンとそのインデンテーションレベルの
対で表わされるようにしておけば、プログラムのインデ
ンテーションの状態を把握しておくことができ、本実施
例と同様にインデンテーション規則に従うようなエラー
回復を行なうことができる。

また、本実施例では、エラーからの回復方式として、入
カドークン列に適当な修正を施して正しい（と予想され
る）プログラムを復元し、構文解析を続行する方法をと
っていたが、本発明はこれに限定されるものではない０
例えば、下向き構文解析法でよく用いられる、一般に、
パニックモード回復法またはフォローセット回復法（詳
しくは公知例として挙げた文献を参照）と呼ばれている
エラー回復法にも適用できる。これらの方法は、エラー
を検出した場合、解析処理を再開する契機となるトーク
ンの集合を求め（これらのトークンは同期トークンとも
呼ばれる）、入カドークンがその集合に含まれていない
間は、そのトークンを読み飛ばしくスキップし）、その
集合に含まれるトークンが現われた時点から、構文解析
を再開するものである。本発明を適用した場合は、同期
トークン集合はトークンとそのインデンテーションレベ
ルの対を要素として持つ。即ち、エラーを検出した時、
単にあるトークンが現われるまでプログラムをスキップ
するのではなく、あるインデンテーションレベルを持つ
ような、あるトークンが現われるまでスキップするので
ある。その結果、同じトークンであってもそのインデン
テーションレベルによって構文解析再開後の処理が変わ
ってくることもありうる１例えば、第３図（１２）のイ
ンデンテーション規則（および構文規則）を考えてみる
。いまく条件〉の部分を解析中にエラーを検出した場合
、フォローセット回復法では、ｔｈｅｎやｅｌｓｅ等の
トークンが同期トークン集合の中に含まれることになる
が、現われたｅｌｓｅが既に処理したｉｆと同じインデ
ンテーションレベルを持つかどうかによって回復後の処
理もおのずと異なってくる。ｉｆと同じインデンテーシ
ョンレベルを持つ場合には、そのｅｌｓｅは現在処理中
のｉｆ文に直接属するものとみなされ、そうでない場合
は上位構造または下位構造の、別のｉｆ文に属するもの
であるとみなされる０本発明では、各トークンのインデ
ンテーションレベルを必要に応じて記憶しているので、
上記のような場合分けも可能である。

最後に１本発明におけるインデンテーション規則ファイ
ルの記述形式は、第３図に示したような。

ＢＮＦ記法に基づいた方法に限定されるものではない０
例えば、対象となるプログラミング言語のインデンテー
ション規則が把握できるような、簡単な例となるプログ
ラムをインデンテーション規則ファイルに書かせておく
という形式を用いてもよい、この場合、インデンテーシ
ョン規則生成部はそのプログラムからインデンテーショ
ンの仕方の特徴を抽出して、インデンテーション規則表
を生成する。また、別の方法として、インデンテーショ
ンのやり方を、質疑応答形式で、即ち、このような構文
に対してはどのようにインデントするかといった形式で
を答えさせ、その結果をインデンテーション規則ファイ
ルに記録しておくという方法もある。これらの方法を用
いれば、ＢＮＦのような専門的な記法を知らないユーザ
にも対応できるという効果がある。

〔発明の効果〕

以上説明したように、本発明によれば、構文エラーを検
出した時、プログラムのインデンテーションの付は方か
ら、正しいプログラムを推測・復元してエラー回復をす
るので、プログラムを単に記号の一次元的な並びとみな
してエラー回復する場合よりも、よりキメ細かい対応が
可能であり、また、ユーザに対して適切なエラーメツセ
ージを与えることができる。

【図面の簡単な説明】

第１図は本発明の構文解析方式を適用したコンパイラの
ブロック構成図、第２図は本実施例のコンパイラの処理
するプログラミング言語の構文規則、第３図は同じくイ
ンデンテーション規則、第４図はプログラムをトークン
に切り分けてトークンキューに入れる様子を示した図、
第５図は構文解析部のモジュール関連図、第６図は通常
処理部のフローチャート、第７図はりデユース操作の様
子を示した図、第８図はエラー処理部のフローチャート
、第９図は構文エラーを含んだプログラムの例、第１０
図は正しいプログラムの候補、第１１図はインデンテー
ション規則に反するプログラムの例と゛それに対するウ
オーニングメツセージの例である。項　２　画凛／圓くブνグラムン〈ブｐ・？り〉く鵠」■ｊζ叡ンくｔ学ｊ１〉〈手穆つ：ｉ′ＯＪン〈ｑ奪九？丘京ン〈文ンく支間〉〈ゼ〉〈式〉くエーンくブーツク〉・く変葦ｂ

【叡ン　く４傘七）文名タリクく大ンＹ４卜〈
埃１幻１〉　；１、く需１）ンく−Ｊ壬＞　　、　　＜ｔｅや１苓ンく奇続１玄富〉く手剰ｈｔ＊をン　〈寺ａ！官、言列〉Ｅ：：＝　　ドｏｃａｄ才ｅ〈璽昧υ等ン）くプ冶ツク２
　；：：＝＜鐵子」手？　ニー　くえ〉Ｉ　　Ｃｄ１ｌ＜プ軟【す）うｌｂｅｇｉｎ＜文子１】ンｅｎｄ１１す＜５＞　％ｒ＋　＜文、＞　　ｅｌｊｅ　＜文＞
１　１１ＩｈＪＩｅ　＜４’／ｆン　ｈ＜丈〉く丈ン〈丈ン；く史料〉〈ｔ（〉　巴＜＜２く式〉〈ン〈式ン〈戒ン　くくに〉〈式〉〉＜式〉〈ポ〉→〈墳〉〈項〉−〈ゴ壽〉〈因１−ン　「　〈酢〉〈因手ンノ〈凹条〉に≧−一）１　（〈式〉）〈プちグジＡ＞’　　二；ツくグロフクン０　　；：＝く変叡宜ｆ＞ａ　　　、ニコ＜、）６馳へ霊盲７？＋＞’　　；；＝くフカツク〉ρ
。〈榔官〉′＜壜虻宜畜グン〈文２′ Ｖ計’　＜′１ｗｒＬ）。 ξ 〈＠先七宜１１〉− く力債起た置盲〉′＜撮乏宜言夕１１〉１を喝（ｄ、１１Ｃ紺１＃〈館１１＋１１　トＣ＃″ｎ’　　＜文ダリ＞’　ｅｎｄ’Ｉ　　ｉ
ｆ’　り÷汁＞　ｔｈＵＩ　＜文＞’　ｅＩｓｅ’　＜
丈）／〈文〉０；　くメ！リン′ （ｄノ（Ｃ１（トン礫マ衛ダ固雫ノρ 回

Claims

【特許請求の範囲】１、インデンテーションを自由に付けられる自由書式の
言語で書かれたプログラムについて所定の構文規則に従
って構文解析を行い、入力プログラム中に構文エラーが
検出された時に、入力プログラム中の字句を削除するか
、または適当な字句を挿入するか、またはその組合せを
行うことによって上記入力プログラムを修正し、構文解
析を続行する言語処理システムにおいて、該プログラミ
ング言語の標準となるインデンテーションの方法を定め
たインデンテーション規則を記憶する記憶手段と、入力
プログラム中の各字句の出現する位置に関するインデン
テーション情報を記憶する記憶手段と、上記規則と上記
情報に基づいて上記修正方法を決定する手段とからなる
ことを特徴とする構文解析システム。２、自由書式のプログラミング言語で書かれたプログラ
ムについて所定の構文規則に従って構文解析を行い、入
力プログラム中に構文エラーが検出された時に、プログ
ラムの適当な範囲を読み飛ばすことによって構文解析を
続行する言語処理システムにおいて、該プログラミング
言語のインデンテーション規則を記憶する記憶手段と、
入力プログラムの各字句のインデンテーション情報を記
憶する記憶手段とを有し、上記規則と上記情報に基づい
て読み飛ばす範囲を決定することを特徴とする構文解析
システム。３、入力プログラムを構成する記号列を、最小の意味単
位であるトークンに切り分ける字句解析手段と、上記ト
ークンまたはトークンから構成される構文要素を表す情
報と、上記トークンまたは構文要素がどれだけインデン
トされているかを表す情報とを有する要素からなる構文
解析用スタックを使用しながら、前記トークンの並びが
所定の構文規則に従っているかを検査する構文解析手段
と、該プログラミング言語のインデンテーション規則を
記憶する記憶手段を有することを特徴とする構文解析シ
ステム。４、自由書式のプログラミング言語で書かれたプログラ
ムについて所定の構文規則に従って構文解析を行う言語
処理システムにおいて、該プログラムのインデンテーシ
ョン規則を記憶する記憶手段と、入力プログラムが上記
規則に従っているかを判定する判定手段と、判定した結
果に基づいて、規則に従っていない場合にメッセージを
出力するメッセージ出力手段を有することを特徴とする
言語処理システム。５、上記入力プログラムと別に、インデンテーション規
則記述ファイルを有し、構文解析処理の前に、上記ファ
イルからインデンテーション規則情報を読みだし、その
情報に基づいて上記インデンテーション規則の記憶手段
に必要な情報を設定することを特徴とする第１項〜第３
項いずれか１項の構文解析システム。６、上記入力プログラムと別に、インデンテーション規
則記述ファイルを有し、処理の前に、上記ファイルから
インデンテーション規則情報を読みだし、その情報に基
づいて上記インデンテーション規則の記憶手段に必要な
情報を設定することを特徴とする第４項の言語処理シス
テム。