@techreport{weko_24091_1,
   author	 = "樋口,博之 and 松永,裕介",
   title	 = "不完全指定有限状態機械に対する高速な状態数簡単化アルゴリズム",
   year 	 = "1995",
   institution	 = "（株）富士通研究所CAD研究部, （株）富士通研究所CAD研究部",
   number	 = "119(1995-ARC-115)",
   month	 = "dec"
}