特許
J-GLOBAL ID:201103040912928298

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

発明者:
出願人/特許権者:
代理人 (3件): 宮崎 昭夫 ,  石橋 政幸 ,  緒方 雅昭
公報種別:公開公報
出願番号(国際出願番号):特願2009-279302
公開番号(公開出願番号):特開2011-123588
出願日: 2009年12月09日
公開日(公表日): 2011年06月23日
要約:
【課題】状態遷移表の視認性および理解性を向上させることが可能な状態遷移表出力装置、状態遷移表出力方法およびプログラムを提供する。【解決手段】状態遷移表縮退装置は、複数の状態からなる状態群と前記状態ごとに当該状態からの遷移先となる状態と、を表す第1状態遷移表を受け付ける入力手段と、前記複数の状態のいずれかを指定状態として表す入力情報を受け付ける指定手段と、前記第1状態遷移表を参照して、前記状態群と前記指定状態との間の遷移を表す第2状態遷移表を生成する生成手段と、を含む。【選択図】図1
請求項(抜粋):
複数の状態からなる状態群と、前記状態ごとに当該状態からの遷移先となる状態と、を表す第1状態遷移表を受け付ける入力手段と、 前記複数の状態のいずれかを指定状態として表す入力情報を受け付ける指定手段と、 前記第1状態遷移表を参照して、前記状態群と前記指定状態との間の遷移を表す第2状態遷移表を生成する生成手段と、を含む状態遷移表縮退装置。
IPC (1件):
G06F 3/048
FI (1件):
G06F3/048 652Z
Fターム (10件):
5E501AC13 ,  5E501AC17 ,  5E501AC18 ,  5E501BA03 ,  5E501BA05 ,  5E501CA02 ,  5E501DA11 ,  5E501EA32 ,  5E501FA14 ,  5E501FA24
引用特許:
出願人引用 (3件)
  • 状態遷移変換装置
    公報種別:公開公報   出願番号:特願平4-031625   出願人:日本電気株式会社
  • 特開平1-276274
  • プログラム作成装置
    公報種別:公開公報   出願番号:特願平3-177033   出願人:株式会社東芝
審査官引用 (3件)
  • 状態遷移変換装置
    公報種別:公開公報   出願番号:特願平4-031625   出願人:日本電気株式会社
  • 特開平1-276274
  • プログラム作成装置
    公報種別:公開公報   出願番号:特願平3-177033   出願人:株式会社東芝

前のページに戻る