JPH0314038A - 状態遷移表変換装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 （産業上の利用分野） 本発明は、状態遷移表に基づいて制御を行うシステムの
、状態遷移表を作成する装置に関するものである。

（従来の技術） システムの動作は一般に、ある状態と、それに対して入
力があったときに遷移する状態という形式で記述するこ
とができ、これを表形式で記述したものが状態遷移表で
ある。第４図に状態遷移表の例を示す。第４図には、遷
移前状態、入力、出力、遷移後状態とを示している。シ
ステムの動作記述に状態遷移表を用いる方法に関しては
、例えば情報処理学会第３８回（平成元年前期）全国大
会ＩＬ−６に述べられている。

このような方式を用いる場合には、あらかじめ各状態に
対応して遷移先状態を記述した状態遷移表を人間が作成
しておく必要がある。

（発明が解決しようとする課題） しかしながら、このような状態遷移表を人間がすべて記
入することは非常に手間がかがるという問題点がある。

本発明の装置は、遷移後状態が空欄であれば、遷移前状
態を参照してコピーすることにより遷移後状態を補完し
てくれるもので、人間が状態遷移表を作成する手間を軽
減しようとするものである。

（課題を解決するための手段） 本発明の状態遷移表変換装置は、空欄の存在する状態遷
移表を補完する状態遷移表変換装置であって、該状態遷
移表を記憶する状態遷移表記憶手段と、該状態遷移表記
憶手段を参照して前期状態遷移表のそれぞれの遷移液状
態数を計数を遷移後状態数計数手段と、該遷移後状態数
計数手段から出力された遷移液状態数が０である場合に
は前期状態遷移表記憶手段を参照して前記遷移後状態欄
に対応する遷移前状態欄の状態をこの遷移後状態欄に書
き込み、状態遷移表を補完する遷移接状態補完手段とか
ら成ることを特徴とする。

（作用） 本発明の動作を、第３図と第４図を例として説明する。

第３図は、補完前の不完全な状態遷移表であり、第４図
は補完後の完全な状態遷移表である。本発明の装置は、
第３図のような不完全な状態欄を調べて、空欄になって
いるものがあると、それに対応する遷移前状態欄を参照
する。そして、遷移後状態はそれに対応する遷移前状態
と同じであると判断して、遷移前状態欄の状態を遷移後
状態欄にコピーする。第３図の例においては、遷移前状
態が８２で入力かに２であった場合の遷移後状態欄が空
欄になっているので、その遷移後状態欄に、遷移前状態
欄と同じ状態Ｓ２をコピーして、第４図のような完全な
状態遷移表へと変換する。

（実施例） 第１図は、本発明の実施例を示すブロック図である。１
０１は状態遷移表記憶手段であり、半導体メモリ、ディ
スクなどを利用できる。１０２は遷移後状態数計数手段
、１０３は遷移接状態補完手段であり、遷移後状態数計
数手段１０２と遷移接状態補完手段１０３はともにマイ
クロプロセッサなどを利用できる。

本発明の状態遷移表変換装置は、状態遷移表記憶手段１
０１に記憶された状態遷移表の各遷移液状態数を遷移後
状態数計数手段１０２が計数しそれが０である場合は、
遷移接状態補完手段１０３が、その遷移後状態欄に対応
する遷移前状態欄を参照して遷移後状態欄にコピーする
ことにより、状態遷移表の補完を行う。

第２図に、空欄のある状態遷移表を補完する際の処理の
フローチャートを示す。遷移後状態数計数手段１０２は
、まず状態遷移表記憶手段１０１に記憶されている状態
遷移表の最上行にポインタを設定して（２０１）その行
の遷移液状態数を計数する（２０２）。その遷移液状態
数が０であれば（２０３）、遷移後状態の欄が空欄であ
るので、遷移接状態補完手段１０３が、空欄となってい
る遷移後状態欄に対応する遷移前状態欄を参照して、遷
移前状態欄の状態を遷移後状態欄にコピーすることによ
り状態遷移表の補完を行う（２０４）。そのときにポイ
ンタが状態遷移表の最下行にあれば（２０６）終了し、
そうでなければポインタを１つ下の行に進めて（２０５
）２０２の処理に戻る。処理２０３において遷移液状態
数がＯでなければ、遷移後状態の欄は既に記入されてい
るので、遷移接状態補完手段は１０３は何もせずに処理
２０６に進む。

また、変換された状態遷移表は、新たな記憶領域を設け
てコピーしてもよい。例えば、処理２０３で遷移液状態
数がＯでない場合は、ポインタ行を新しい状態遷移表に
コピーする。処理２０４では、ポインタ行を新しい状態
遷移表にコピーするとともに、遷移前状態欄の状態を遷
移後状態欄にコピーする。

（発明の効果） 以上で示したように、本発明の装置を用いることにより
、遷移後状態の欄が空欄になっている不完全な状態遷移
表は、自動的に補完されて完全な状態遷移表になる。従
って、人間が状態遷移表を作成する際に、状態に変化が
ないような遷移の場合には遷移後状態の欄を空欄にして
おくことができ、状態遷移表作成の手間が軽減される。

【図面の簡単な説明】

第１図は本発明の１実施例を示すブロック図、第２図は
空欄のある状態遷移表を補完して完全な状態遷移表にな
る際の処理フローチャート、第３図は空欄のある不完全
な状態遷移表を示す図、第４図は本発明の装置を用いて
第３図の不完全な状態遷移表を補完して完全な状態遷移
表にしたものを示す図である。 図において、１０１・・・状態遷移表記憶手段、１０２
・・・遷移後状態数計数手段、１０３・・・遷移液状態
が空欄になっている場合に補完を行う遷移後状態補完手
段である。

Claims (1)

【特許請求の範囲】
1. 空欄の存在する状態遷移表を補完する状態遷移表変換装
   置であって、該状態遷移表を記憶する状態遷移表記憶手
   段と、該状態遷移表記憶手段を参照して前記状態遷移表
   のそれぞれの遷移後状態数を計数する遷移後状態数計数
   手段と、該遷移後状態数計数手段から出力された遷移後
   状態数が０である場合には前記状態遷移表記憶手段を参
   照して前記遷移後状態欄に対応する遷移前状態欄の状態
   をこの遷移後状態欄に書き込み、状態遷移表を補完する
   遷移後状態補完手段とから成ることを特徴とする状態遷
   移表変換装置。