JPH08194623A - 字句エラーを診断する方法および装置 - Google Patents

Abstract

(57)【要約】 【課題】 無効語彙素の変化に関して無効語彙素を特徴
づけ、この特徴づけをユーザが行えるようにする。 【解決手段】 エラー診断字句解析部が、字句解析ジェ
ネレータにより正規表現パターンのリストに基づいて構
成される。正規表現パターンのリストは、特定の無効語
彙素タイプならびに特定の有効語彙素タイプを定義する
パターンを含む。正規表現のリストに基づいて生成され
た字句解析部は、第１の複数の状態および第２の複数の
状態を有する。第１の複数の状態のそれぞれの状態は特
定の有効語彙素タイプに相当し、特定の有効な語彙素タ
イプを識別するラベルと関連づけられる。第２の複数の
状態のそれぞれの状態は特定の無効な語彙素タイプに相
当し、特定の無効な語彙素タイプを識別するラベルと関
連づけられる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、字句エラーを診断
する方法および装置に関し、より詳細には、目標コンピ
ュータ・プログラミング言語に対応するソース・コード
を含むファイル中の字句エラーを診断する方法および装
置に関する。

【０００２】

【従来の技術】ほとんどのソフトウェアは、最初、目標
コンピュータ・プログラミング言語に対応するソース・
コードで書かれる。ソース・コードは、プログラミング
言語の「アルファベット」の記号からなるワードまたは
「語彙素」で構成される。ソース・コードは、プログラ
ム実行前または実行中にコンパイラなどのプログラミン
グ・ツールによって機械コードに変換される。ソース・
コードを正確に変換するためには、ソース・コード内の
語彙素が目標プログラミング言語の字句規則に適合しな
ければならない。ソース・コードから機械コードへの変
換処理の字句解析段階の間に、ソース・コードに含まれ
る語彙素が解析され、プログラミング言語の字句規則に
適合するかどうか判定される。走査された語彙素が字句
規則に適合する場合は有効な語彙素とみなされ、適合す
る特定の規則によって特徴づけられる。そうでない場合
は、無効な語彙素とみなされる。

【０００３】字句解析段階は通常、字句解析部によって
行われる。字句解析部は、ソース・コードを機械コード
に変換するために使用される自動プログラムジェネレー
タの一部とすることもできる。字句解析ジェネレータが
ソース・コードを解析するためには、字句解析部は、ソ
ース・コードが書かれた目標言語固有の字句規則を知っ
ていなければならい。

【０００４】自動プログラムジェネレータの開発者を支
援するために、字句解析ジェネレータが開発された。字
句解析ジェネレータは、字句解析部を生成するプログラ
ミング・ツールである。字句解析ジェネレータを使って
特定の目標言語の字句解析部を生成するには、字句解析
ジェネレータはまず目標言語の字句規則を知らなければ
ならない。この認識は、たとえば、字句解析ジェネレー
タに、目標言語の字句規則を正規表現パターンによって
表すファイルを読み込ませることにより実現することが
できる。目標言語の字句規則を知ると、字句解析ジェネ
レータは目標言語で書かれたソース・コードを解析する
字句解析部を生成する。そのような字句解析ジェネレー
タの１つは、”ｌｅｘ”として知られ、Ｍ．Ｅ．レスク
（Ｍ．Ｅ．Ｌｅｓｋ）およびＥ．シュミット（Ｅ．Ｓｃ
ｈｍｉｄｔ）による論文”Ｌｅｘ−−Ａ Ｌｅｘｉｃａ
ｌ Ａｎａｌｙｚｅｒ Ｇｅｎｅｒａｔｏｒ”、Ｂｅｌ
ｌＬａｂｏｒａｔｏｒｉｅｓ、Ｍｕｒｒａｙ Ｈｉｌ
ｌ、米国ニュージャージー州、１９７５年、ならびにジ
ョン．Ｒ．レビン（Ｊｏｈｎ．Ｒ．Ｌｅｖｉｎｅ）、ト
ニー・メイソン（Ｔｏｎｙ Ｍａｓｏｎ）、およびドグ
・ブラウン（Ｄｏｕｇ Ｂｒｏｗｎ）による論文”ｌｅ
ｘ ａｎｄ Ｙａｃｋ”、Ｏ’Ｒｅｉｌｌｙ＆Ａｓｓｏ
ｃｉａｔｅｓ，Ｉｎｃ．、Ｓｅｂａｓｔａｐｏｌ、Ｃ
Ａ、１９９２年、第２版に記載されている。

【０００５】通常のプログラミング言語は１つまたは複
数の終了記号を有する。終了記号は語彙素の終りを示す
記号である。終了記号は、１つまたは複数の文字を含む
ことがある。終了記号に使える記号は、解析の現在の状
態によって変化することがある。たとえば、記号”＋”
は、初期状態では終了記号ではないが、識別子を処理す
るときは終了記号となる。したがって、本明細書で使用
される用語「終了記号」は、字句解析部の現在の処理状
態において、語彙素の終りを示す記号または記号の文字
列を意味する。

【０００６】ソース・コードの解析を始めるために、字
句解析部は初期状態をとる。字句解析部は、ソース・コ
ード・ファイルから最初の記号を読み取り、その記号に
応じて初期状態を新しい状態に変化させる。字句解析部
は、終了記号を検出するまで、ソース・コードから記号
を繰り返し読み取ってその記号に応じて状態を変化させ
る。終了記号を検出すると、字句解析部は終了信号を獲
得したときの字句解析部の状態によって、読み取ったば
かりの一連の記号を特徴づける。

【０００７】図１に、簡略化した字句解析部の例を示
す。図１の字句解析部３０は、整数および識別子の２種
類の有効な語彙素を認識するように構成されている。た
とえば、整数は、１〜９の任意の数字とそれに続く０〜
９の任意数の数字からなる。識別子は、ａ〜ｚの任意の
アルファベットとそれに続くａ〜ｚまたは０〜９の任意
数の英数字からなる。

【０００８】字句解析部３０は４つの状態３２、３４、
３６および３８を有する。状態３２は初期状態、状態３
４は有効識別子状態（ＶＩＤＳ）、状態３６は有効整数
状態（ＶＩＳ）、そして状態３８は無効語彙素状態（Ｉ
ＬＳ）である。ソース・コード・ファイル４０から何か
記号を読み込む前は初期状態３２が現在の状態である。
ソース・コード４０から読み込まれた最初の記号が１〜
９の数字の場合は、状態３６が現在の状態になる。この
状態変化の規則は矢印４４によって記号的に表される。
ソース・コード４０から読み込まれた最初の記号がａ〜
ｚのアルファベット文字の場合は、状態３４が現在の状
態になる。この状態変化の規則は矢印４６によって表さ
れる。最初の記号が１〜９またはａ〜ｚのアルファベッ
ト文字のいずれでもない場合は、状態３８が現在の状態
になる。この状態変化の規則は矢印４７によって表され
る。

【０００９】最初の記号がａ〜ｚのアルファベット文字
であったと仮定すると、状態３４は次の入力記号がａ〜
ｚまたは０〜９の英数字である限りは現在の状態のまま
である。この規則は矢印４８によって象徴的に示され
る。終了記号を除くその他の記号を受け取った場合は、
状態３８は現在の状態になる。

【００１０】同様に、最初の記号が１〜９の数字であっ
た場合は、状態３６は次の入力記号が０〜９の数字であ
るならば現在の状態のままである。この規則は矢印５０
によって記号的に示される。終了記号以外の他の記号を
受け取った場合は、状態３８が現在の状態になる。状態
３８が現在の状態になった場合は、矢印５０で示したよ
うに、ソース・コード４０から終了記号が読み込まれる
まで現在の状態のままである。

【００１１】ソース・コード４０から終了記号を読み込
むと、字句解析部３０は、処理したばかりの一連の記号
によって表される語彙素のタイプを特徴づける信号を生
成する。たとえば、終了信号を検出したときの字句解析
部の現在の状態が状態３４の場合、字句解析部３０は、
処理したばかりの一連の記号が有効な識別子に相当する
ことを示す信号を生成する。同様に、終了信号を検出し
たときの字句解析部３０の現在の状態が状態３６の場合
は、字句解析部３０は、処理したばかりの一連の記号が
有効な整数に相当することを示す信号を生成する。終了
信号を検出したときの字句解析部３０の現在の状態が状
態３８の場合は、字句解析部３０は、処理したばかりの
一連の記号が無効な語彙素に相当することを示す信号を
生成する。

【００１２】適切な語彙素識別記号を生成するために、
字句解析部３０のそれぞれの状態は、語彙素タイプを識
別するラベルと関連づけられる。この例では、状態３４
は識別子の語彙素タイプを識別するラベル５２と関連づ
けられ、状態３６は整数の語彙素タイプを識別するラベ
ル５４と関連づけられ、状態３８は無効の語彙素タイプ
を識別するラベル５６と関連づけられる。この状態とラ
ベルの関連付けは、字句解析ジェネレータによる字句解
析部３０の作成中に確立される。

【００１３】字句解析部３０は、ある型のエラー検出字
句解析部を再現する。この型の字句解析部は、１つの無
効な語彙素状態と、一連の文字がどの有効語彙素タイプ
にも適合しないときに字句解析部に無効語彙素状態とさ
せる規則とを有することにより字句エラーを検出する。
字句解析部３０のような字句解析部は、字句解析ジェネ
レータによって、言語におけるすべての有効語彙素と一
致するパターンを含む１組の正規表現パターン（「有効
正規表現パターン」）、および有効語彙素ではないすべ
ての語彙素と一致する省略時正規表現パターン（「無効
正規表現パターン」）に基づいて作成することができ
る。そのような正規表現リストの例は、付録Ｉに含まれ
る。

【００１４】そのようなリストに応じて、字句解析ジェ
ネレータは、それぞれの有効正規表現パターンに対応す
る１つまたは複数の状態を有する字句解析部を作成す
る。それぞれの状態は、状態によって表される特定タイ
プの有効語彙素を識別するラベルが付けられる。字句解
析部はまた、無効正規表現パターンに応じて作成された
１つの状態（「無効語彙素状態」）も含む。

【００１５】もう１つの手法によれば、字句解析部は、
字句解析ジェネレータを有効正規表現パターンだけで調
整することによって作成することもできる。その結果得
られる字句解析部のすべての状態は、有効語彙素タイプ
を表すラベルと関連づけられる。その結果、無効語彙素
は１つまたは複数の有効語彙素に類別される。そのよう
な字句解析部によって無効語彙素に応じて検出される一
連の語彙素タイプは一般に、目標プログラミング言語の
構文規則と適合しない。したがって、次のソース・コー
ドから機械コードへの変換処理の解析段階の間に、字句
エラーのために構文エラーが発生する可能性がある。

【００１６】これらの手法のいずれかによる字句解析を
実行することにより、字句エラ−検出が実現される。し
かし、字句エラー診断に関するフィードバックは与えな
い。すなわち、前述のような字句解析部は、語彙素が何
か間違っていることを示すことはできるが、具体的に語
彙素の何が間違っているかに関する手掛かりは何も提供
しない。無効語彙素に関する有用な情報は保存されず、
検出した字句エラーの診断の際にユーザを支援すること
はできない。

【００１７】

【発明が解決しようとする課題】上記に基づき、字句エ
ラーを診断する際に無効語彙素を類別してユーザを支援
する字句解析部を提供することが明らかに必要とされ
る。さらに、無効語彙素の変化に関して無効語彙素を特
徴づけ、この特徴づけをユーザが行えるようにすること
が必要とされる。

【００１８】

【課題を解決するための手段】本発明の一態様によれば
記号のストリームにおける字句エラーを診断する方法が
提供される。記号のストリームは所与の言語のアルファ
ベットの記号を含む。所与の言語は、コンピュータ・プ
ログラミング言語であることが好ましい。

【００１９】本発明の一実施形態によれば、１組の状態
を有する字句解析部が構成される。１組の状態は、第１
の複数の状態と第２の複数の状態を含む。１組の状態は
また初期状態も含む。

【００２０】１組の状態と１組の語彙素タイプとの間の
相関関係を確立する。１組の語彙素タイプは、第１の複
数の語彙素タイプと第２の複数の語彙素タイプを含む。
第１の複数の語彙素タイプのそれぞれの語彙素タイプ
は、所与の言語における有効な語彙素タイプを表す。第
２の複数の語彙素タイプのそれぞれの語彙素タイプは、
所与の言語における無効な語彙素タイプを表す。相関関
係により、第１の複数の状態の各状態が第１の複数の語
彙素タイプのうちの対応する語彙素タイプと関連づけら
れる。相関関係により、第２の複数の状態の各状態が第
２の複数の語彙素タイプのうちの対応する語彙素タイプ
と関連づけられる。

【００２１】記号のストリームの処理を始めるために、
初期状態が現在の状態として確立され、記号のストリー
ムからの記号が読み込まれる。記号が終了記号でない場
合は、その記号に基づいて次の状態が決定され、次の状
態が現在の状態として確立される。記号を読み込んで次
の状態に移る段階は、記号が終了記号になるまで繰り返
される。記号が終了記号のときは、現在の状態と関連し
た語彙素タイプを示す信号が生成される。

【００２２】本発明のもう１つの態様によれば、エラー
診断字句解析部を構成する方法が提供される。この方法
によれば、字句解析ジェネレータが正規表現パターンの
リストを読み込む。正規表現パターンのリストは、第１
の複数の正規表現パターンと第２の複数の正規表現パタ
ーンを含む。第１の複数の正規表現パターンにおける各
正規表現パターンは、所与の言語における有効語彙素タ
イプを定義する。第２の複数の正規表現パターンにおけ
る各正規表現パターンは、所与の言語における無効な語
彙素タイプを定義する。

【００２３】字句解析ジェネレータは、正規表現パター
ンのリストに応じて字句解析部を構成する。字句解析部
は、第１の複数の状態と第２の複数の状態とを含む１組
の状態を有する。その１組の状態の各状態は、第１の複
数の状態の各状態を第１の複数の正規表現パターンの正
規表現パターンと関連づけ、第２の複数の状態の各状態
を第２の複数の正規表現パターンの正規表現パターンと
関連づけることによって、正規表現パターンのリストの
正規表現パターンと関連づけられる。

【００２４】１組の状態と１組の語彙素タイプとの間の
相関関係を確立する。１組の語彙素タイプは、第１の複
数の語彙素タイプと第２の複数の語彙素タイプを含む。
第１の複数の語彙素タイプの各語彙素タイプは、所与の
言語における有効な語彙素タイプを表す。第２の複数の
語彙素タイプの各語彙素タイプは、所与の言語における
無効な語彙素タイプを表す。相関関係により、第１の複
数の状態の各状態が第１の複数の語彙素タイプの対応す
る語彙素タイプと関連づけられる。相関関係により、第
２の複数の状態の各状態が第２の複数の語彙素タイプの
対応する語彙素タイプと関連づけられる。

【００２５】相関関係は、第１の複数の状態の各状態
と、第１の複数の状態の各状態に関連した正規表現パタ
ーンによって表される第１の複数の語彙素タイプの有効
語彙素タイプとの間で相関関係を確立し、第２の複数の
状態の各状態と、第２の複数の状態の各状態に関連した
正規表現パターンによって表される第２の複数の語彙素
タイプの無効語彙素タイプとの間で相関を確立すること
によって、１組の状態と１組の語彙素タイプとの間に確
立されることが好ましい。

【００２６】正規表現パターンのリストに関するパター
ンは、特定の有効語彙素タイプの始まりを示す第１の正
規表現パターンを決定し、その第１の正規表現パターン
を正規表現パターンのリストに書き込むことによって構
成することができる。特定の有効語彙素タイプの有効な
終りを示す第２の正規表現パターンが決定される。第１
の正規表現パターンとそれに続く第２の正規表現パター
ンを表す第３の正規表現パターンが決定される。第３の
正規表現パターンが正規表現パターンのリストに書き込
まれる。

【００２７】特定の有効語彙素タイプの無効な終りを示
す第４の正規表現パターンが決定される。次に、第１の
正規表現パターンとそれに続く第４の正規表現パターン
を表す第５の正規表現パターンが決定される。第５の正
規表現パターンは正規表現パターンのリストに書き込ま
れる。

【００２８】本発明のさらにもう１つの態様によれば、
記号のストリームにおける字句エラーを診断する字句解
析部が提供される。記号のストリームは所与の言語のア
ルファベットの記号を含む。字句解析部は１組の状態を
有し、現在の状態指示機構、記号入力部、記号比較部、
状態変更機構、および語彙素タイプ信号ジェネレータを
含む。

【００２９】１組の状態は、第１の複数の状態および第
２の複数の状態を含む。１組の状態は初期状態を含む。
１組の状態の各状態は、１組の語彙素タイプのうちのあ
る語彙素タイプと関連づけられる。１組の語彙素タイプ
は、第１の複数の語彙素タイプおよび第２の複数の語彙
素タイプを含む。第１の複数の語彙素タイプの各語彙素
タイプは、所与の言語における有効な語彙素タイプであ
る。第２の複数の語彙素タイプの各語彙素タイプは、所
与の言語における無効な語彙素タイプである。

【００３０】第１の複数の状態の各状態は、第１の複数
の語彙素タイプのうちの対応する語彙素タイプと関連づ
けられる。第２の複数の状態の各状態は、第２の複数の
語彙素タイプのうちの対応する語彙素タイプと関連づけ
られる。

【００３１】最初に、現在の状態指示機構が初期状態を
現在の状態として確立する。記号入力部が、記号のスト
リームから記号を繰り返し読み込む。記号比較部が、記
号入力部によって記号のストリームから読み込まれた記
号が終了記号かどうか判定する。記号が終了記号ではな
いときは、状態変更機構が、現在の状態から１組の状態
のうちの次の状態に移す。次に、現在の状態指示機構が
次の状態を現在の状態として確立する。記号が終了記号
のときは、語彙素タイプ信号ジェネレータが、現在の状
態と関連した語彙素タイプを示す信号を生成する。一連
の記号が無効語彙素に相当する場合は、現在の状態は特
定の無効語彙素タイプに対応し、生成された信号は有効
語彙素タイプを示す。一連の記号が有効語彙素に相当す
る場合は、現在の状態は特定の無効語彙素タイプに対応
し、生成された信号は無効語彙素タイプを示す。その結
果として、信号により、有効と無効両方の字句が類別さ
れる。

【００３２】

【発明の実施の形態】記号のストリームにおける字句エ
ラーを診断する方法および装置を開示する。記号のスト
リームは、たとえばソース・コード・ファイルからのも
のである。以下の記述では、説明の目的で、本発明を完
全に理解させるために、ソフトウェア・ツール、プラッ
トフォーム、オペレーティング・システム、プログラミ
ング言語など多数の特定の詳細を説明する。しかし、本
発明はこれらの特定の詳細の範囲外でも実施することが
できる。その他の例では、本発明が不必要にわかりづら
くなるのを避けるために、周知の構造および素子をブロ
ック図形式で示す。

【００３３】図２を参照すると、本発明の好ましい実施
の形態を実施できるコンピュータ・システム１００を示
す。コンピュータ・システム１００は、情報を通信する
ためのバスまたは他の通信手段１０１、およびバス１０
１と結合され情報を処理するためのプロセッサ１０２を
含む。コンピュータ・システム１００はさらに、バス１
０１に結合され、情報およびプロセッサ１０２によって
実行される命令を記憶するためのランダム・アクセス・
メモリ（ＲＡＭ）または他の動的記憶装置１０４（メイ
ン・メモリと呼ぶ）を含む。メイン・メモリ１０４はま
た、プロセッサ１０２による命令の実行中に、一時変数
または他の中間情報を記憶するために使用することもで
きる。

【００３４】さらに、コンピュータ・システム１００に
は、磁気ディスクや光ディスクなどのデータ記憶装置１
０７およびそれと類似のディスク・ドライブを接続する
こともできる。コンピュータ・システム１００はまた、
陰極線管（ＣＲＴ）などの、コンピュータのユーザに情
報を表示するための表示装置１２１にバス１０１を介し
て接続することもできる。プロセッサ１０２に情報およ
びコマンド選択を通信するために、通常、英数字などの
キーを有する英数字入力装置１２２がバス１０１に接続
される。

【００３５】本発明は、記号のストリームの字句エラー
を診断するコンピュータ・システム１００の使用法に関
する。コンピュータ・システム１００は、記号のストリ
ームを処理する字句解析プログラムを実行することによ
って記号のストリームにおける字句エラーを検出する。
字句解析処理に関係する様々な処理機構は、次に、図３
および４を参照してより詳細に説明する。

【００３６】図３を参照すると、記号のストリームにお
ける字句エラーを診断する機構２００をブロック図形式
で示す。この説明では、記号のストリームはソース・コ
ード・ファイル２０８から来ると想定する。ただし、記
号のストリームは代わりに他のソースからも来ることも
ある。機構２００は、通常、字句解析ジェネレータ２０
２および字句解析部２０６を含む。本発明の一実施形態
によれば、字句解析ジェネレータ２０２は、正規表現パ
ターン・リスト２０４に基づいて字句解析部２０６を構
成する。

【００３７】正規表現パターン・リスト２０４は、メモ
リ１０４または記憶装置１０７に常駐することができ
る。正規表現パターン・リスト２０４は一般に、一連の
正規表現パターンに相当する。正規表現パターン・リス
ト２０４内のそれぞれの正規表現パターンは、特定の語
彙素タイプを定義し、かつその特定の語彙素タイプに対
応する。従来技術において字句解析部を構成するために
利用された正規表現パターン・リストと違って、正規表
現パターン・リスト２０４は、無効語彙素タイプを定義
する複数の正規表現パターンと、有効語彙素タイプを定
義する複数の正規表現パターンとを含む。この違いのゆ
えに、後に述べるように、字句エラーを検出するだけで
なく診断することもできる有限状態機械を構成すること
ができる。

【００３８】本発明の実施の形態により構成された正規
表現パターン・リストの例は、表１、２、３（３つの表
で１つのリストである）に含まれる。この表の代表的な
正規表現パターン・リストを参照すると、リストは２つ
の部分を含む。第１の部分は、様々な正規表現パターン
を定義する定義部分である。たとえば、正規表現パター
ン”ｏｃｔｄｉｇ”は［０−７］と定義され、０〜７の
範囲にある任意の数字を意味する。正規表現パターンの
定義は、他の正規表現パターンの識別子を含むこともあ
る。たとえば、正規表現パターン”ｅｓｃ”は、あらか
じめ定義された３つの正規表現パターン”ｃｈｒｅｓ
ｃ” 、”ｈｅｘｅｓｃ”および ”ｏｃｔｅｓｃ”に
関連して定義される。表の代表的な正規表現パターン・
リストの第２の部分は、字句解析ジェネレータ２０２が
字句解析部２０６などの字句解析部を構成するために読
み込む正規表現パターンのリストを含む。字句解析部生
成の過程は後でより詳しく説明する。

【００３９】

【表１】

【表２】

【表３】

【００４０】正規表現パターンの代表的なリストは、有
効語彙素タイプおよび無効語彙素タイプに関する正規表
現パターンを含む。有効語彙素タイプに対応する正規表
現パターンは、たとえば”ｉｄｅｎｔｉｆｉｅｒ”、”
ｃｈａｒ”、”ｆｌｏａｔ”、”ｉｎｔ”、および”ｓ
ｔｒｉｎｇ”を含む。無効語彙素タイプに対応する正規
表現パターンは、”ｉｎｃ＿ｃｈａｒ”、”ｒｉｇｈｔ
＿ｉｎｃ＿ｃｈａｒ”、”ｂａｄ＿ｃｈａｒ”、”ｉｎ
ｃｏｍｐｌｅｔｅ＿ｆｌｏａｔ”、”ｂａｄ＿ｆｌｏａ
ｔ”、”ｉｎｃｏｍｐｌｅｔｅ＿ｉｎｔ”、”ｂａｄ＿
ｉｎｔ”、”ｂａｄ＿ｈｅｘｉｎｔ”、”ｉｎｃ＿ｓｔ
ｒｉｎｇ”、”ｒｉｇｈｔ＿ｉｎｃ＿ｓｔｒｉｎｇ”、
および”ｂａｄ＿ｓｔｒｉｎｇ”を含む。無効語彙素タ
イプおよび有効語彙素タイプの正規表現パターンは両方
とも表の定義部分で定義される。

【００４１】正規表現パターンのリストは、定義部分で
定義された正規表現パターンを識別し、ルーチンおよび
戻りラベルを正規表現パターンと関連づける。ルーチ
ン”ｓｅｔ＿ｔｏｋｅｎ”は、正規表現パターンと一致
する語彙素が現れたときに字句解析部によって実行され
る操作を指定する。戻りラベルは、正規表現パターンに
よって定義された語彙素タイプを識別するラベルであ
る。たとえば、正規表現パターン”ｉｄｅｎｔｉｆｉｅ
ｒ”は、戻りラベルＩＤＥＮＴＩＦＩＥＲと関連する。
戻りラベルＩＤＥＮＴＩＦＩＥＲは、正規表現パター
ン”ｉｄｅｎｔｉｆｉｅｒ”によって定義された語彙素
タイプを識別する。ラベルを正規表現パターンと関連づ
ける目的は、後でより詳しく説明する。

【００４２】表の正規表現パターン・リストは単なる例
にすぎないことを理解されたい。このリストの形は、リ
ストによって使用される字句解析ジェネレータによって
変化する。リストの特定の正規表現パターンおよびラベ
ルは、リストに対応する目標言語の字句規則によって変
化する。

【００４３】字句解析ジェネレータ２０２は、正規表現
パターン・リスト２０４に応じて字句解析部２０６を作
成するために構成される字句解析ジェネレータに相当す
る。字句解析ジェネレータ２０２は、たとえば、上記の
字句解析ジェネレータ”ｌｅｘ”のこともある。表に含
まれる正規表現パターン・リストは、字句解析ジェネレ
ータ”ｌｅｘ”の書式で作成される。”ｌｅｘ”書式の
正規表現で使用される記号は、表４に記載した意味を有
する。

【００４４】 表４ 記号 説明 ．（ピリオド） 改行文字以外の任意の一文字と一致する ＊ ゼロ個以上の前の表現と一致する ［］ ブラケット内の任意の一文字と一致する ＾ 最初の文字として行の始めと一致する ｛｝ 前のパターンが一致するように許可された回数を示す。 （たとえば、ｘ｛５，１０｝は文字”ｘ”の５回から１０回の オカレンスと一致する。 ＼ エスケープ・シーケンス（たとえば、”ｎ＼”は改行文字）を 識別し、メタ文字（たとえば、”＼＊”はリテラル・アスタリ スク）からリテラル文字を識別するために使用される ＋ 前の正規表現の１回または複数回のオカレンスと一致する ？ 前の正規表現のゼロ回以上のオカレンスと一致する ｜ 前の正規表現または次の正規表現と一致する ０ 一連の正規表現をまとめて新しい正規表現にする

【００４５】図４は字句解析部２０６をより詳細に示
す。字句解析部２０６は、通常、複数の状態２０７、記
号入力部２５０、記号比較部２５２、状態変更機構２５
４、現在の状態指示機構２５６、および語彙素タイプ信
号発生器２５８を含む。複数の状態２０７は、状態２１
２、２１４、２１６、２１８、２２０、２２２、２２
４、２２６、および２２８を含む。複数の状態は、状態
変換規則を表す矢印によって連携される。

【００４６】状態２１２は、字句解析部２０６の初期状
態である。状態２１８、２２０、および２２２は、”ｏ
ｋａｙ ｓｔａｔｅｓ”に相当する。ｏｋａｙ状態は、
字句解析部２０６によって最も新しく処理された一連の
記号が特定の有効語彙素タイプに相当するときに現在の
状態である任意の状態である。たとえば、状態２２２は
有効な整数に対応させている。この状態２２２は、最初
の記号が１〜９のうちのある数字に相当する場合に現在
の状態を維持する。状態２２２は、次の記号が０〜９の
数字であるならば現在の状態を維持する。字句解析部が
有効な整数を構成する記号を処理した後で状態２２２が
現在の状態になるため、状態２２２はｏｋａｙ状態であ
る。

【００４７】状態２１４、２１６、２２４、２２６およ
び２２８は、無効状態に相当する。無効状態は、字句解
析部２０６によって最も新しく処理された一連の記号が
どれも有効語彙素タイプに相当しないときには、現在の
状態の任意の状態である。したがって、ｏｋａｙ状態で
はない状態はすべて無効状態である。

【００４８】状態２１４、２１６、２１８、２２０、２
２２、２２４、２２６、および２２８はそれぞれ、ラベ
ル２３２、２３６、２３８、２４０、２４２、２４４、
２４６、および２４８と関連づけられる。ラベル２３
２、２３６、２３８、２４０、２４２、２４４、２４
６、および２４８はそれぞれ語彙素タイプを表す。ラベ
ル２３８、２４０、および２４２はｏｋａｙ状態と関連
し、有効語彙素タイプを表す。ラベル２３２、２３６、
２４４、２４６、および２４８は無効状態と関連し、無
効語彙素タイプを表す。無効語彙素タイプは、有効語彙
素タイプの無効な変形物であることが好ましい。

【００４９】字句解析部２０６がソース・コード・ファ
イル２０８からの一連の記号を処理している間の所与の
時点で、字句解析部２０６の状態が現在の状態になる。
現在の状態と関連づけられたラベルにより、その時点ま
で処理された一連の記号に対応する語彙素タイプが識別
される。たとえば、有効な整数を構成する一連の記号を
字句解析部２０６が処理した後で状態２２２が現在の状
態である場合は、ラベル２４２により「有効な整数」の
語彙素タイプが識別される。同様に、無効な整数を構成
する一連の記号を字句解析部２０６が処理した後で状態
２１６が現在の状態である場合は、ラベル２３６により
「無効な整数」の語彙素タイプが識別される。

【００５０】字句解析ジェネレータ２０２は、正規表現
パターン・リスト２０４のラベルとの正規表現パターン
の相関関係に基づいてラベルと状態との間の相関関係を
確立する。たとえば、表１、２、３の代表的な正規表現
パターン・リストにおいて、ラベル”ＣＨＡＲＡＣＴＥ
Ｒ ＬＩＴＥＲＡＬ”は、’（｛ｓｉｍｐｌｅｃｈａ
ｒ｝｜’｜｛ｅｓｃ｝）’と定義される正規表現パター
ン｛ｃｈａｒ｝と関連づけられる。字句解析部２０６の
生成中、字句解析ジェネレータ２０２は、正規表現パタ
ーン｛ｃｈａｒ｝に対応する１つまたは複数の状態を作
成し、初期状態から新しい状態に至る経路を確立する。
その経路は、字句解析部２０６によって読み込まれた一
連の記号が正規表現パターン｛ｃｈａｒ｝に適合する場
合だけ新しい状態のうちの１つが現在の状態になるよう
に構成される。次に、ラベル”ＣＨＡＲＡＣＴＥＲ Ｌ
ＩＴＥＲＡＬ”が新しい状態と関連づけられる。

【００５１】字句解析ジェネレータ２０２が上記のよう
に正規表現パターン・リスト２０４の正規表現パターン
をすべて処理すると、その結果、字句解析部２０６がソ
ース・コード・ファイル２０８を解析するために構成さ
れる。次に図５を参照して、字句解析方法を説明する。

【００５２】図５は、ソース・コード・ファイル２０８
などのソース・コード・ファイルにおける字句エラーを
診断する方法を示すフローチャートである。段階３０２
で、字句解析部２０６が、目標プログラミング言語の字
句規則に応じて生成される。字句解析部２０６は、上記
のように、字句解析ジェネレータ２０２によって、有効
語彙素タイプと無効語彙素タイプ両方に関する正規表現
パターンを含む正規表現パターン・リスト２０４に基づ
いて生成されることが好ましい。段階３０４で、字句解
析部の状態とその状態に対応する語彙素タイプとの間で
相関関係が確立される。この相関関係は、字句解析部２
０６の生成中に、正規表現パターン・リスト２０４に示
された正規表現パターンと語彙素タイプ・ラベルとの関
連に基づいて確立されることが好ましい。

【００５３】段階３０６で、字句解析部の初期状態２１
２が現在の状態として確立される。現在の状態は、現在
の状態指示機構２５６によって示される。現在の状態指
示機構２５６は、たとえば、現在の状態である状態２０
７の状態を指示するポインタでもよい。したがって、段
階３０６は、現在の状態指示機構２５６に初期状態２１
２を指示されることによって実施することもできる。

【００５４】段階３０８で、記号入力部２５０がソース
・コード・ファイル２０８から記号を読み込む。ソース
・コード・ファイル２０８から読み込まれた記号は、今
後、入力記号と呼ぶ。記号入力部２５０は、ソース・コ
ード・ファイル２０８を連続的に読み込むことが好まし
い。したがって、最初の入力記号はソース・コード・フ
ァイル２０８にある最初の記号である。

【００５５】段階３１０で、記号比較部２５２が入力記
号が終了記号かどうか判定する。入力記号が終了記号の
場合は、制御は段階３１２に移る。そうでない場合は、
制御は段階３１８に移る。説明のため、最初の入力記号
が終了記号ではなかったと想定する。したがって、制御
は段階３１８に移る。

【００５６】段階３１８で状態変更機構２５４が入力記
号に基づいて次の状態を決定する。次の状態は、現在の
状態から通じる経路を検査することによって決定され
る。それぞれの経路は一組の記号と関連づけられる。各
経路は、入力記号がその関連する記号の組に属するとき
に移る次の状態を指定することによって、変換規則を実
施する。次の状態が決定されると、段階３２０で、この
次の状態が現在の状態として確立される。これは、たと
えば、次の状態であるべく決定された状態を現在の状態
指示機構２５６に指示させることによって実施すること
ができる。

【００５７】新しい現在の状態を確立した後で、制御は
段階３０８に戻り、そこで第２の入力記号がソース・コ
ード・ファイルから読み込まれる。段階３１０で、新し
い入力記号が終了記号かどうか判定される。新しい入力
記号が終了記号でない場合は、再び段階３１８および３
２０を実行することによって新しい現在の状態が確立さ
れる。入力記号を読み込み、その入力記号に応じて状態
を変化させるこの過程は、入力記号が終了記号になるま
で繰り返される。入力記号が終了記号のとき、制御は段
階３１２に移る。

【００５８】段階３１２で、語彙素タイプ信号ジェネレ
ータ２５８が、現在の状態と関連づけられた語彙素タイ
プを示す信号を生成する。現在の状態の語彙素タイプ
は、現在の状態と関連した語彙素タイプ・ラベルによっ
て識別される。信号で識別された語彙素タイプは、字句
解析部２０６によって処理される一連の入力記号を特徴
づけるのに役立つ。語彙素タイプ信号は、たとえば、目
標言語の構文規則により語彙素タイプの順序および配列
を解析できる構文解析部２１０に送られることもある。

【００５９】現在の状態の語彙素ラベルが無効語彙素タ
イプを示す場合は、字句解析部２０６がエラー・メッセ
ージをユーザに送るようにしてもよい。エラー信号は、
字句エラーが検出されたことを示すだけでなく、検出し
た特定タイプの無効語彙素を示すことによってエラーを
診断することが好ましい。

【００６０】段階３１４で、記号入力部２５０が、ソー
ス・コード・ファイル２０８内のすべての記号が処理さ
れたかどうか判定する。ソース・コード・ファイル２０
８がまだ処理されていない記号を含む場合は、制御は段
階３０６に戻る。上記段階は、ソース・コード・ファイ
ル２０８内のすべての記号が処理されるまで繰り返され
る。その時点で、制御は段階３１６に移り、ソース・コ
ード・ファイル２０８の字句解析が完了する。

【００６１】字句アナラザ２０６は、単一の総称無効状
態（字句解析部３０として）または全くの非無効状態で
はなく特定の無効語彙素タイプに対応する状態を含むの
で、字句エラーを診断することができる。字句解析部２
０６は、総称無効状態または省略時無効状態を少しも含
まないことが好ましい。総称無効状態なしで字句解析部
を生成するためには、そのタイプ固有の状態（有効語彙
素タイプ状態と無効語彙素タイプ状態の組合せ）が目標
プログラミング言語によって支援される記号の考えられ
るすべての組合せをカバーしなければならない。

【００６２】一実施の形態によれば、字句解析部２０６
の状態は、上記のような正規表現パターン・リスト２０
４内の正規表現パターンに対応して生成される。したが
って、字句解析部２０６の状態が、記号の考えられるす
べての組合せをカバーするためには、正規表現パターン
・リスト２０４の少なくとも１つの正規表現パターンが
記号の考えられる各組合せをカバーしなければならな
い。

【００６３】好ましい実施の形態では、正規表現パター
ン・リスト２０４は、”ｈｅｘｉｎｔ”などの複雑な語
彙素を連続するパターンで表すことによって構成され
る。具体的に言うと、考えられるすべての記号の組合せ
と一致する最初の１組のパターンを開発する。最初１組
のパターンは、それぞれの複雑な有効語彙素タイプに対
して有効な始まりを定義する少なくとも１つの接頭部パ
ターンを含む。たとえば、表１、２、３の代表的な正規
表現パターン・リストにおいて、設計された接頭部パタ
ーン”ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ”は、１６進のリテ
ラル語彙素タイプに対して有効な始まりを定義する。”
ｆｌｏａｔ”などのさらに複雑な有効語彙素タイプは、
代わりの様々な有効な始まりを有することがある。これ
らの状況下では、複数の接頭部パターンを必要とするこ
とがある。

【００６４】接頭部パターンが確立された後で、結合し
たときに有効な１６進リテラル語彙素タイプを定義する
正規表現パターンが作成されるパターンが開発される。
たとえば、有効な１６進リテラル語彙素を定義する正規
表現パターン”ｈｅｘｉｎｔ”は、パターン”ｈｅｘｉ
ｎｔ＿ｐｒｅｆｉｘ”とそれに続くパターン”｛ｈｅｘ
ｄｉｇ｝＋”で構成される。

【００６５】有効語彙素の正規表現パターンがこのよう
に形成された後、語彙素タイプの無効変形物のための正
規表現パターンが構成されることがある。たとえば、接
頭語パターン”ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ”を、不完
全な１６進リテラルを指定する実表現として使用するこ
とができる。たとえば、”ｉｎｃｏｍｐｌｅｔｅ＿ｉｎ
ｔ”は”｛ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ｝”と定義され
る。さらに、”ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ”で始まる
が”｛ｈｅｘｄｉｇ｝＋”とは違うパターンで終わる正
規表現パターンが、無効な１６進リテラル語彙素を指定
するために使用されることがある。たとえば、”ｂａｄ
＿ｈｅｘｉｎｔ”は、”ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ”
とそれに続く

【数１】 と定義される。

【００６６】図６に、間違って完成された有効で不完全
なバージョンの所与の複雑な語彙素タイプのための正規
表現パターンを設計する生成段階を示す。段階４１０
で、目標言語の有効語彙素タイプが選択される。説明の
ため、段階４１０で、語彙素タイプ”ｈｅｘａｄｅｃｉ
ｍａｌ ｌｉｔｅｒａｌ”が選択されたと想定する。図
４に示した段階を説明するため、表１、２、３の代表的
な正規表現パターン・リストにおける１６進リテラル語
彙素に関係する正規表現パターンを使用する。

【００６７】段階４１２で、選択された有効語彙素タイ
プの始まりを表す最初の正規表現パターンが決定され
る。この例では、段階４１２で、正規表現”ｈｅｘｉｎ
ｔ＿ｐｒｅｆｉｘ”が決定される。前述のように、いく
つかの複雑な語彙素タイプは、複数の有効な始まりを有
する可能性がある。そのような語彙素タイプでは、考え
られるそれぞれの有効な始まりごとに別々の正規表現が
決定される。

【００６８】段階４１４で、最初の正規表現パターン
が、字句解析ジェネレータによって処理される表現リス
トに書き込まれる。この例では、｛ｈｅｘｉｎｔ＿ｐｒ
ｅｆｉｘ｝および定義された正規表現パターン”ｉｎｃ
ｏｍｐｌｅｔｅ＿ｉｎｔ”が、正規表現パターンのリス
トに書き込まれる。

【００６９】段階４１６で、最初の正規表現パターン
が、選択された語彙素タイプの不完全語彙素を示すラベ
ルと関連づけられる。この例では、これは、戻り値ＩＮ
ＣＯＭＰＬＥＴＥ ＩＮＴＥＧＥＲ ＬＩＴＥＲＡＬ
を、正規表現パターンのリストにおける正規表現パター
ン”ｉｎｃｏｍｐｌｅｔｅ＿ｉｎｔ”と関連づけること
によって実施される。

【００７０】段階４１８で、選択した有効語彙素タイプ
の有効な終りを表す第２の正規表現パターンが決定され
る。この例では、正規表現パターン”｛ｈｅｘｄｉｇ｝
＋”によって、１６進リテラルに対する有効な終りが定
義される。段階４２０で、最初の正規表現パターンとそ
れに続く第２の正規表現パターンを表す第３の正規表現
パターンが構成される。この例では、正規表現パター
ン”ｈｅｘｉｎｔ”は、”ｈｅｘｉｎｔ＿ｐｒｅｆｉ
ｘ”と”｛ｈｅｘｄｉｇ｝＋”を組み合わせることによ
って構成される。

【００７１】段階４３０で、第３の正規表現パターンが
正規表現パターン・リストに書き込まれる。この例で
は、正規表現パターン”ｈｅｘｉｎｔ”、”ｏｃｔｉｎ
ｔ”、および”ｄｅｃｉｎｔ”がまず代替物内で結合さ
れて複合正規表現パターン”ｉｎｔ”が構成される。正
規表現パターン”ｈｅｘｉｎｔ”、”ｏｃｔｉｎｔ”、
および”ｄｅｃｉｎｔ”はそれぞれ、複合正規表現パタ
ーン”ｉｎｔ”を正規表現パターン・リストに書き込む
ことによって、正規表現パターン・リストに有効に書き
込まれる。

【００７２】段階４３２で、第３の正規表現パターン・
リストが、選択した有効語彙素タイプの完全な語彙素を
示すラベルと関連づけられる。この例では、正規表現パ
ターン”ｉｎｔ”が戻り値ＩＮＴＥＧＥＲ ＬＩＴＥＲ
ＡＬと関連づけられる。

【００７３】段階４３４で、選択した語彙素タイプの無
効な終りを表す第４の正規表現パターンが決定される。
この例では、１６進リテラルの無効な終りが正規表現パ
ターン

【数２】 によって定義される。

【００７４】段階４３６で、最初の正規表現パターンと
それに続く第２の正規表現パターンを表す第４の正規表
現パターンが構成される。正規表現パターン”ｂａｄ＿
ｈｅｘｉｎｔ”は、正規表現パターン”ｈｅｘｉｎｔ＿
ｐｒｅｆｉｘ”とそれに続く正規表現パターン

【数３】 と定義される。

【００７５】段階４３８と４４０で、それぞれ、第５の
正規表現パターンが正規表現パターンリストに書き込ま
れ選択した語彙素タイプの間違った語彙素を示すラベル
と関連づけられる。この例では、正規表現”ｂａｄ＿ｈ
ｅｘｉｎｔ”が正規表現パターン・リストに書き込ま
れ、戻り値ＢＡＤ＿ＨＥＸＡＤＥＣＩＭＡＬ＿ＬＩＴＥ
ＲＡＬと関連づけられる。

【００７６】したがって、表１、２、３に含まれる実際
の表現のリストに基づいて生成された字句解析部は、Ｉ
ＮＣＯＭＰＬＥＴＥ＿ＨＥＸＡＤＥＣＩＭＡＬ＿ＬＩＴ
ＥＲＡＬとラベルが付けられた状態を少なくとも１つ、
ＩＮＴＥＧＥＲ＿ＬＩＴＥＲＡＬとラベルが付けられた
状態を少なくとも１つ、そしてＢＡＤ＿ＨＥＸＡＤＥＣ
ＩＭＡＬ＿ＬＩＴＥＲＡＬとラベルが付けられた状態を
少なくとも１つもつことになる。一連の入力記号が正規
表現パターン”ｈｅｘｉｎｔ＿ｐｒｅｆｉｘ”と一致す
るとき、現在の状態はラベルＩＮＣＯＭＰＬＥＴＥ＿Ｈ
ＥＸＡＤＥＣＩＭＡＬ＿ＬＩＴＥＲＡＬと関連した状態
である。次に終了記号が読み込まれると、字句解析部に
よって生成された信号は、前回の一連の記号が不完全な
１６進リテラルに相当していたことを示す。この語彙素
の特徴づけは、一連の記号が１６進リテラルの有効な始
まりを構成したが有効な１６進リテラルが完了する前に
終了したために正確になる。

【００７７】一連の入力記号が、正規表現パターン”ｈ
ｅｘｉｎｔ＿ｐｒｅｆｉｘ”とそれに続く正規表現パタ
ーン”｛ｈｅｘｄｉｇ｝＋”と一致するときは、現在の
状態はラベルＩＮＴＥＧＥＲ＿ＬＩＴＥＲＡＬと関連し
た状態になる。次に終了記号が読み込まれると、字句解
析部によって生成された信号が、前回の一連の記号が有
効な整数リテラルに相当していたことを示す。この語彙
素の特徴づけはまた、一連の記号が１６進リテラルの有
効な始まりとそれに続く１６進リテラルの有効な終りと
を構成しており、１６進リテラルが整数リテラルの一種
であるために正確になる。

【００７８】一連の入力記号が、正規表現パターン”ｈ
ｅｘｉｎｔ＿ｐｒｅｆｉｘ”とそれに続く正規表現パタ
ーン

【数４】 と一致するが正規表現パターン”ｉｎｔ”とは一致しな
いとき、現在の状態はラベルＢＡＤ＿ＨＥＸＡＤＥＣＩ
ＭＡＬ＿ＬＩＴＥＲＡＬと関連した状態になる。次に終
了記号が読み込まれると、字句解析部によって生成され
た信号は、前回の一連の記号が、間違って完成された１
６進リテラルに相当していたことを示す。この語彙素の
特徴づけは、一連の記号が１６進リテラルの有効な始ま
りとそれに続く１６進リテラルの無効な終りを構成した
ので正確になる。

【００７９】前述のように、有効と無効両方の語彙素タ
イプと一致する正規表現の作成中には、いくつかの正規
表現が繰り返し定義されることがある。たとえば、最初
の有効語彙素タイプの接頭語と一致するパターン”ａ”
を作成し、次に、パターン”ａｂ”が最初の有効語彙素
タイプの接頭語と一致するパターン”ｂ”を作成し、最
後に、”ａｂｃ”が最初の語彙素タイプの有効で完全な
語彙素と一致するパターン”ｃ”を作成することがあ
る。

【００８０】また、ほとんどの字句解析ジェネレータで
は、正規表現パターン・リストにおける正規表現が相互
に排他的な数組の語彙素と一致する必要はないことに留
意されたい。たとえば、一連の記号”０ｘ５”は”ｈｅ
ｘｉｎｔ”と”ｂａｄ＿ｈｅｘｉｎｔ”の両方と一致す
る。相互排他性を必要としない字句解析ジェネレータ
は、そのような定義の重複によって生じるあいまいさを
解決する規則を有する。たとえば、解析部”ｌｅｘ”
は、そのようなあいまいさを、”ｆｉｒｓｔ−ｌｏｎｇ
ｅｓｔ”規則によって解決する。具体的に言うと、一連
の記号が、一連の５つの記号が処理された後の第１の正
規表現と一致し、さらに第１の正規表現と６つの記号が
処理された後の第２の正規表現の両方と一致する場合、
その組は第２の正規表現に基づいて特徴づけられる。そ
うではなく、一連の記号が同数の記号が処理された後の
２つの正規表現と一致する場合は、最初にリストされた
正規表現を使って一連の記号が特徴づけられる。したが
って、正規表現のリストにおいて、”ｈｅｘｉｎｔ”
は”ｂａｄ＿ｈｅｘｉｎｔ”よりも前にあるので、語彙
素は、”ｈｅｘｉｎｔ”と関連した正規表現と一致しな
い場合は単に不適切な１６進リテラルとみなされる。

【００８１】以上の説明では、字句エラーを診断するた
めの方法および装置を述べた。字句解析部が、特定の無
効語彙素タイプに相当する複数の状態ならびに有効な語
彙素タイプに相当する複数の状態を含むので、単なる字
句エラー検出の範囲を越える能力が達成される。一実施
形態によれば、エラー診断字句解析部は、字句解析ジェ
ネレータによって、特定の無効語彙素タイプを定義する
パターンならびに特定の有効語彙素タイプを定義するパ
ターンを含む正規表現パターンを含む正規表現パターン
・リストに基づいて構成される。

【００８２】本発明の特定の実施形態を説明したが、本
開示により、様々な修正および置換が当業者には明らか
になるであろう。そのような修正および置換は本発明の
範囲内にあり、特許請求の範囲に包含されるものであ
る。

【図面の簡単な説明】

【図１】 字句エラーを検出する字句解析部を示す図で
ある。

【図２】 本発明の実施形態によるエラー診断字句解析
部を示すブロック図である。

【図３】 本発明の一実施形態によるエラー診断字句解
析システムを示すブロック図である。

【図４】 図３の字句解析部をより詳細に示すブロック
図である。

【図５】 本発明の一実施形態によりソース・コード・
ファイルにおける字句エラーを診断する方法を示すフロ
ーチャートである。

【図６】 字句解析ジェネレータがエラー診断字句解析
部を構成することができる正規表現を構成する方法を示
すフローチャートである。

【符号の説明】

３０ 字句解析部 ３２ 初期状態 ３４ 有効識別子状態（ＶＩＤＳ） ３６ 有効整数状態（ＶＩＳ） ３８ 無効語彙素状態（ＩＬＳ） ４０ ソース・コード・ファイル ５２ ラベル ５４ ラベル ５６ ラベル

Claims (4)

【特許請求の範囲】
1. 【請求項１】 所与の言語のアルファベットの記号を含
   む記号ストリーム中の字句エラーを診断する方法におい
   て、 Ａ） 第１の複数の状態、第２の複数の状態、および初
   期状態を含む１組の状態を有する字句解析部を構成する
   段階と、 Ｂ） １組の語彙素タイプと前記１組の状態との間の相
   関関係を確立する段階であって、前記１組の語彙素タイ
   プが第１の複数の語彙素タイプと第２の複数の語彙素タ
   イプを含み、第１の複数の語彙素タイプの各語彙素タイ
   プが前記所与の言語における有効語彙素タイプに相当
   し、第２の複数の語彙素タイプの各語彙素タイプが前記
   所与の言語における無効な語彙素タイプに相当し、前記
   相関関係により、前記第１の複数の状態の各状態が前記
   第１の複数の語彙素タイプの対応する語彙素タイプと関
   連づけられ、かつ前記第２の複数の状態の各状態が前記
   第２の複数の語彙素タイプの対応する語彙素タイプと関
   連づけられる段階と、 Ｃ） 前記初期状態を現在の状態として確立する段階
   と、 Ｄ） 前記記号ストリームから記号を読み込む段階と、 Ｅ） 前記記号が終了記号ではない場合に、 Ｅ１） 前記記号に基づいて次の状態を決定し、 Ｅ２） 前記次の状態を前記現在の状態として確立する
   段階と、 Ｆ） 前記記号が終了記号になるまで、段階（Ｄ）、
   （Ｅ）、（Ｅ１）および（Ｅ２）を繰り返す段階と、 Ｇ） 前記記号が終了信号のときに、現在の状態と関連
   した前記語彙素タイプを示す信号を生成する段階とを含
   む記号ストリーム中の字句エラーを診断する方法。
2. 【請求項２】 所与の言語のアルファベットの記号を含
   む記号ストリーム中の字句エラーを診断する字句解析部
   において、 第１の複数の状態、第２の複数の状態、および初期状態
   を含む１組の状態を含み、 前記１組の状態の各状態が１組の語彙素タイプのうちの
   ある語彙素タイプと関連づけられ、前記１組の語彙素タ
   イプが第１の複数の語彙素タイプおよび第２の複数の語
   彙素タイプを含み、第１の複数の語彙素タイプの各語彙
   素タイプが前記所与の言語における有効な語彙素タイプ
   であり、前記第２の複数の語彙素タイプの各語彙素タイ
   プが前記所与の言語における無効な語彙素タイプであ
   り、 前記第１の複数の状態の各状態が前記第１の複数の語彙
   素タイプの対応する語彙素タイプと関連づけられ、 前記第２の複数の状態の各状態が前記第２の複数の語彙
   素タイプの対応する語彙素タイプと関連づけられ、さら
   に、 前記初期状態を現在の状態として最初に確立する現在の
   状態指示機構と、 前記記号のストリームから記号を繰り返し読み込む記号
   入力部と、 前記記号入力部によって前記記号のストリームから読み
   込んだ記号が終了記号かどうか判定する記号比較部と、 前記現在の状態指示機構が前記次の状態を前記現在の状
   態として確立し、前記記号が終了記号ではないときに、
   前記現在の状態を前記１組の状態のうちの次の状態に移
   す状態変更機構と、 前記記号が終了記号のときに、現在の状態と関連した語
   彙素タイプを示す信号を生成する語彙素タイプ信号ジェ
   ネレータとを含む字句解析部。
3. 【請求項３】 エラー診断字句解析部を構成する方法に
   おいて、 Ａ） 字句解析ジェネレータに正規表現パターンのリス
   トを読み込ませる段階であって、前記正規表現パターン
   のリストが第１の複数の正規表現パターンおよび第２の
   複数の正規表現パターンを含み、前記第１の複数の正規
   表現パターンの各正規表現パターンが所与の言語におけ
   る有効な語彙素タイプを定義し、前記第２の複数の正規
   表現パターンの各正規表現パターンが所与の言語におけ
   る無効な語彙素タイプを定義する段階と、 Ｂ） 前記正規表現パターンのリストに応じて、前記字
   句解析ジェネレータが、第１の複数の状態および第２の
   複数の状態を含む１組の状態を有する前記字句解析部を
   構成する段階と、 Ｃ） Ｃ１） 前記第１の複数の状態の各状態を前記第１の複
   数の正規表現の正規表現と関連づけ、 Ｃ２） 前記第２の複数の状態の各状態を前記第２の複
   数の正規表現の正規表現と関連づけ、 それにより、前記１組の状態の各状態を前記正規表現パ
   ターンのリストの正規表現パターンと関連づける段階
   と、 Ｄ） 前記１組の状態と１組の語彙素タイプとの間の相
   関関係を確立する段階であって、前記１組の語彙素タイ
   プが第１の複数の語彙素タイプおよび第２の複数の語彙
   素タイプを含み、第１の複数の語彙素タイプの各語彙素
   タイプが前記所与の言語における有効な語彙素タイプに
   相当し、第２の複数の語彙素タイプの各語彙素タイプが
   前記所与の言語における無効な語彙素タイプに相当し、
   前記相関関係により、前記第１の複数の状態の各状態が
   前記第１の複数の語彙素タイプの対応する語彙素タイプ
   と関連づけられ、かつ前記第２の複数の状態の各状態が
   前記第２の複数の語彙素タイプの対応する語彙素タイプ
   と関連づけられる段階とを含む方法。
4. 【請求項４】 特定の有効語彙素タイプの始まりを示す
   第１の正規表現パターンを決定し、 前記第１の正規表現パターンを前記正規表現パターンの
   リストに書き込み、 前記特定の有効語彙素タイプの終りを示す第２の正規表
   現パターンを決定し、 前記第１の正規表現パターンとそれに続く前記第２の正
   規表現パターンを表す第３の正規表現パターンを決定
   し、 前記第３の正規表現パターンを前記正規表現パターンの
   リストに書き込むことによって、前記正規表現パターン
   のリストを構成する段階をさらに含む、請求項３に記載
   の方法。