Pat

J-GLOBAL ID：201403045471749825

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

Inventor： 野田 夏子
Applicant, Patent owner： 日本電気株式会社
Agent (3)： 宮崎 昭夫 ,  石橋 政幸 ,  緒方 雅昭
Gazette classification：特許公報
Application number (International application number)：2009279302
Publication number (International publication number)：2011123588
Patent number：5471385
Application date： Dec. 09, 2009
Publication date： Jun. 23, 2011
Claim (excerpt)：

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

IPC (2)：

G06F 3/048 ( 201 3.01) ,  G06F 17/50 ( 200 6.01)

FI (2)：

G06F 3/048 652 Z ,  G06F 17/50 636 K

Patent cited by the Patent：

Cited by applicant (3)

• 状態遷移変換装置
  Gazette classification：公開公報   Application number：特願平4-031625   Applicant：日本電気株式会社
• 特開平1-276274
  
• プログラム作成装置
  Gazette classification：公開公報   Application number：特願平3-177033   Applicant：株式会社東芝

Cited by examiner (3)

• 状態遷移変換装置
  Gazette classification：公開公報   Application number：特願平4-031625   Applicant：日本電気株式会社
• 特開平1-276274
  
• プログラム作成装置
  Gazette classification：公開公報   Application number：特願平3-177033   Applicant：株式会社東芝