状態遷移表縮退装置、状態遷移表縮退方法およびプログラム

発明者：
出願人/特許権者：
代理人 (3件)：宮崎昭夫 , 石橋政幸 , 緒方雅昭
公報種別：特許公報
出願番号（国際出願番号）：特願2009-279302
公開番号（公開出願番号）：特開2011-123588
特許番号：特許第5471385号
出願日： 2009年12月09日
公開日（公表日）： 2011年06月23日
請求項（抜粋）：

【請求項1】複数の状態からなる状態群と、前記状態ごとに当該状態からの遷移先となる状態と、を表す第1状態遷移表を受け付ける入力手段と、前記複数の状態のいずれかを指定状態として表す入力情報を受け付ける指定手段と、前記第1状態遷移表を参照して、前記状態群と前記指定状態との間の遷移を表す第2状態遷移表を生成する生成手段と、を含み、前記生成手段は、前記複数の状態と前記状態ごとに当該状態の遷移元となる状態とを表す逆状態遷移表と、前記第1状態遷移表と、を参照して、前記複数の状態からなる状態群と前記指定状態との間の遷移の関係を確認する、状態遷移表縮退装置。

IPC (2件)：