JPH01298439A - リスト解析装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 産業上の利用分野 本発明は電子計算機上のリストデータな解析するリスト
解析装置に関するものである。

従来の技術 近年、人工知能技術の研究開発が盛んに行われ、その成
果の一部が実用化されはじめてきている。

研究ならびに開発段階ではプログラミング言語としてリ
スプ（以下ＬＩＳＰと記す。）が多く利用されている。

ＬＩＳＰはリストと呼ばれる柔軟な構造のデータを処理
するため、プログラミングの記述が容易である言語であ
る。しかし、使用者にとって柔軟であるデータも計算機
内部では非常に複雑な構造である。その結果ＬＩＳＰ処
理系では、データの型判定や複雑なデータ処理を行わな
ければならず処理速度が遅い。そこで実用化の際には、
ＬＩＳＰで記述されたプログラムをＣ言語、アセンブリ
言語等、処理速度の速い他言語で記述し直して、実用的
な処理速度を得ることが多い。

このとき扱うデータは、ＬＩＳＰ処理系で扱うデータ（
リスト）と同一の構造であるほうが適している場合があ
り、従って、リストの内容や構造を、プログラムと同様
、他言語で記述し直さなければならない。

リストは一般に第６図（ａ）に示すような８式と呼ばれ
る形で表される。また計算機内部のデータ構造は第５図
（ｂ）に示すように、アトム（第５図、６ａ１〜６ａ６
）をコンスセルと呼ばれる二進水（第６図、５ｃ１〜６
ｃ６）により再帰的に連結したものである。一般にアト
ムにはシンボル、文字列、配列、数値等の型とＮ　Ｉ　
Ｌ、Ｔと呼ばれる特殊データがあり、それぞれの型に応
じて様々な情報を構造体で管理している。リストがＬＩ
ＳＰ処理系で処理される過程で、アトムには種々の環境
情報が付加される。

リストを他言語で記述する場合、アトムに付加されてい
る環境情報も記述しなければならない場合が少なくない
。しかしこの環境情報は、多くの場合複雑なリスト構造
であり、さらに、その内容は処理の過程で動的に変化す
るため、第６図（ａ）のような８式から環境情報の内容
と構造を直接的に知ることは困難である。

従来はプログラムが処理の流れにしたがって、リストの
内容、アトムに付加される環境情報の変化を追跡しなが
ら、目的リストの計算機内部での構造を解析し、その結
果に基づき、目的リストを他言語で記述している。

発明が解決しようとする課題 しかし従来のような、人手によるリストの解析と他言語
への書き替えでは、多大な時間を要し。

さらに、人為的誤りが入る可能性が高い、という課題が
あった。

本発明は以上のような課題に鑑み、自動的にリストの解
析と他言語への書き替えを行うことの出来るリスト解析
装置の提供を目的としている。

課題を解決するための手段 本発明は、リストをＬＩＳＰ処理するＬ　Ｉ　Ｓ　Ｐ処
理部と、リストの解析を行う解析部と、前記解析部によ
る解析結果に基づいて、他言語でリストを記述したコー
ドを生成するコード生成部と、使用者とのインターフェ
イスな行う入出力部と、処理の過程で適宜データを格納
する記憶部とを備えることによって、上記目的を達成す
る。

作用 上記構成において、本発明は入出力部を介して入力され
たリストを、同じく入出力部を介して入力されたプログ
ラムに従って、ＬＩＳＰ処理部で処理し、結果を記憶部
に格納する。次に、処理されたリストの内容と構造を解
析部で解析し、結果を記憶部に格納する。次に、記憶部
に格納された解析結果からコード生成部が目的の他言語
でリストを記述し、記憶部に格納する。以上の作業を中
央処理部の制御によって自動的に行う。使用者は入出力
部を介して他言語で記述されたリストを得る。

実施例 以下、本発明の一実施例について図面を参照しながら作
用とともに説明する。

第１図は、本発明の、リストをＣ言語で記述する場合の
一実施例のリスト解析装置のブロック図である。

第５図（ａ）に示すような８式で表されたリストを入出
力部１ｃから入力し、ＬＩＳＰ処理部１ｂでＬＩＳＰ処
理する。そして第６図（ｂ）に示すような計算機の内部
表現に変換して、記憶部１ｆに格納する。このとき、リ
ストを構成している個々のアトムには、それぞれ必要と
される環境情報も付加される。

次に、解析部１Ｃにおいて、指定されたリストの解析を
行う。解析は、指定されたリストの構成要素（コンスセ
ルとアトム）、ならびにアトムに付加された環境情報な
再帰的にたどることによって、コンスセルの数、アトム
の種類と数を解析する。

以下、解析部１Ｃの動作を、第２図に示す解析部１ｃの
ブロック図に基づいて説明する。第２図において、２ａ
はアドレス判定部、２ｂはアドレスの表、２ｃは型を判
定する型判定部、２ｄは計数表、２ｃは走査部、２ｆは
型構造情報、２ｇはスタックメモリである。アドレス表
２ｂ、計数表２ｄ。

型構造情報２ｆ、スタック２ｇは第１図に示す記憶部１
ｆ上に適宜設けられる。アドレス表２ｂには、既に解析
されたコンスセル又はアトムのアドレスが登録されてい
る。計数表２ｄには、リストを構成するコンスセルの数
、アトムの種類と数が登録されている。型構造情報２ｆ
にはコンスセルやアトムの基本構造に関する情報があら
かじめ入力されている。スタック２ｇは先入れ後出し方
式の記憶装置である。

今第１図に示す記憶部１ｆに格納されたリストの先頭に
ある要素のアドレスをアドレス判定部２ａに入力する。

アドレス判定部２ａでは、重複して解析を行わないため
にアドレス表２ｂを参照して、入力されタアトレスが既
に解析されたコンスセル又はアトムのアドレスであるか
否かを判定する。既に解析されている場合には、走査部
２ｅに対して次に処理を行うように信号を送る。解析さ
れていない場合には、アドレスをアドレス表２ｂに登録
した後、型判定部２ｃにそのアドレスを入力する。

型判定部２ｃでは、入力されたアドレスにある要素の型
を判定して計数表２ｄに登録した後、走査部２ｅにその
アドレスと型情報を入力する。

走査部２ｅは、型構造情報２ｆ内の情報を基に、現在入
力されたアドレスにある要素に、他の要素又は他のリス
トへのポインタが含まれているか否かを調べる。Ｎ個（
Ｎは自然数）のポインタが含まれている場合には、現在
入力されたアドレスにある要素より・も先に、ポインタ
で指されている全ての要素又はリストを解析する。そこ
で現在入力されたアドレスをスタック２ｇに格納し、次
に（Ｎ−１）個の要素又はリストのアドレスをポインタ
から求め、それらをスタック２ｇに逐次格納し、残った
１個の要素又はリストのアドレスをアドレス判定部２ａ
に入力する。ポインタが含、まれでいない場合、又はア
ドレス判定部２ａから次の処理に移行することを表す信
号が入力された場合には、スタック２ｇから直前に入力
されたアドレスを取り出し、アドレス判定部２ａに入力
する。

スタック２ｇが空である場合には解析を終了する。

次に、コード生成部１ｄにおいて、解析部１ｃからの解
析結果に基づいて、リストなＣ言語で記述したコードを
生成する。

以下、コード生成部１ｄの動作を第３図と第４図を用い
て説明する。第３図は生成されたコードの概略図で、リ
ストの構成要素の型宣言を行う宣言部分３ａと各構成要
素の内容を定義する関数部３ｂから構成されている。第
４図はコード生成部１ｄの構造を示すブロック図である
。第４図において、４ａは宣言部、４ｂは計数表、４ｃ
は定義を行う定義部、４ｄは型構造情報、４ｅはアドレ
ス表、４ｆはスタックメモリ、４ｇはコード格納ファイ
ルである。計数表４ｂ、アドレス表４ｅ、型構造情報４
ｄ、スタック４ｆ、コード格納ファイル４ｇは第１図に
示す記憶部１ｆ上に適宜設けられる。計数表４ｂと型構
造情報４ｄはそれぞれ第２図に示す計数表２ｄ、−型構
造情報２ｆと同一の内容である。また、アドレス表４ｅ
とスタック４ｆはそれぞれ第２図に示すアドレス表２ｂ
、スタック２ｇと同一の目的で使用される。

ここで宣言部４ａは、まず始めに、各構成要素を表わす
構造体が定義されているヘッダファイルの包含（第３図
、３ａ１）を生成する。次に、第１図に示す解析部１ｃ
によって作られた計数表４ｂから構成要素の種類と数を
読み取り、第３図に示す宣言部分３ａ２を生成する。最
後に、第３図に示す関数部３ｂの関数名（第３図、３ｂ
１）を生成した後、生成したコードをコード格納ファイ
ル４ｇに格納する。格納が終わると、第１図に示す記憶
部１ｒに格納したリストの先頭にある要素のアドレスを
定義部４ｃへ入力する。

定義部４ｃでは、以下に述べるように、要素な再帰的に
たどりながら要素をＣ言語で記述し、要素を連結する。

そして生成したコードなコード格納ファイル４ｇに格納
する。

入力されたアドレスにある要素の型判定を行った後、型
構造情報４ｄ内の情報を基に、当該要素に、他の要素又
は他のリストへのポインタが含まれているか否かを調べ
る。ポインタが含まれている場合には、個々のポインタ
で指されている要素又はリストがＣ言語で記述されてい
るか否かを、アドレス表４ｅを用いて調べる。

全ての要素又はリストが既にＣ言語で記述されている場
合には、型構造情報４ｄ内にある要素の雛形を用いて入
力されたアドレスにある要素なＣ言語で記述する。その
ときには、ポインタで指された要素のＣ言語による表記
をアドレス表４ｅから取り出し、またポインタ以外の情
報は、要素を表す記憶部１ｒ（第１図）上の構造体の内
容を直接参照して得る。記述が終わると、入力されたア
ドレスとそれに対応した要素のＣ言語による表記を対に
してアトし・ス表４ｅに登録する。次に、スタック４ｆ
から直前に入力されたアドレスを取り出し、定義部４ｃ
に入力する。スタック４ｆが空である場合には、関数の
終わりを示すコード（第３図、３ｂ３）を生成して、処
理を終了する。

一部の要素又はリストがまだＣ言語で記述されていない
場合には、現在入力されたアドレスにある要素よりも先
に、またＣ言語で記述されていない要素又はリストの記
述を行う。そこで現在入力されたアドレスをスタック４
ｆに格納し、次に、記述しようとする要素又はリストの
アドレスをポインタより求め、それらをスタック４ｆに
逐次格納する。そして、スタック４ｆから一つのアドレ
スを取り出し、定義部４ｃに入力する。

ポインタが含まれていない場合には、型構造情報４ｄを
基に、記憶部１ｆ（第１図）上の構造体の内容を直接参
照して、入力されたアドレスにあろ要素なＣ言語で記述
し、さらに、入力されたアドレスと要素のＣ言語による
表記を対にしてアドレス表４ｃに登録する。次に、スタ
ック４ｆから直前に入力されたアドレスな取り出し、定
義部４ｃに入力する。スタック４ｆが空である場合には
、関数の終わりを示すコード（第３図、３ｂ３）を生成
して、処理を終了する。

以上で、リストの解析とＣ言語によるリストの記述を終
了する。使用者は生成されたコードな入出力部１ｅを介
して得ることができる。

発明の詳細 な説明したように、本発明によると、リストの解析と他
言語への書き替えを自動的に行うことができ、また他言
語によるリストの正確な記述？短時間で得ろことができ
るので誤りも発生しないという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例におけるリスト解析装置を示
したブロック図、第２図は本発明の一実施例における解
析部のブロック図、第３図は本発明の一実施例における
コード生成部により生成されたコードの概略コード図、
第４図は本発明の一実施例におけるコード生成部のブロ
ック図、第５図（ａ）、（ｂ）は８式によるリストの表
現と一般的な内部表現を示すブロック図である。 １ａ・・・中央処理部、１ｂ・・ＬＩＳＰ処理部、１ｃ
・・・解析部、１ｄ・・コード生成部、１ｅ・・入出力
部、１ｒ・・・記憶部。 代理人の氏名　弁理士　中　尾　敏　男　ほか１名第１
図 Ｎ２図 第３図 第４図 第５図 （Ｑ） ５ｏｚ　　　　　５ａ３

Claims (1)

【特許請求の範囲】
1. リストをＬＩＳＰ処理するＬＩＳＰ処理部と、リストの
   解析を行う解析部と、前記解析部による解析結果に基づ
   いて、他言語でリストを記述したコードを生成するコー
   ド生成部と、使用者とのインターフェイスを行う入出力
   部と、処理の過程で適宜データを格納する記憶部とを備
   えたことを特徴とするリスト解析装置。