An iterative improvement method for state minimization of incompletely specified finite state machines

Hiroyuki Higuchi, Yusuke Matsunaga

研究成果: Contribution to journalArticle査読

抄録

This paper proposes a heuristic algorithm for state minimization of incompletely specified finite state machines (FSMs). The strategy is similar to that in ESPRESSO, a well-known heuristic algorithm for two-level logic minimization. It consists of generating an initial solution, the set of maximal compatibles, and attempting to apply a series of transformations to the solution. The main transformation is to reduce each compatible in the solution and delete unnecessary compatibles by iterative improvements. Other transformations, such as expansion and merging of compatibles, are also introduced for further reduction. When the number of compatibles is likely to be too large to handle explicitly, they are represented by a Binary Decision Diagram. Experimental results show that the proposed method finds better solutions in shorter CPU times for most of the examples than conventional methods.

本文言語英語
ページ(範囲)993-1000
ページ数8
ジャーナルIEICE Transactions on Information and Systems
E80-D
10
出版ステータス出版済み - 1 1 1997
外部発表はい

All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • ハードウェアとアーキテクチャ
  • コンピュータ ビジョンおよびパターン認識
  • 電子工学および電気工学
  • 人工知能

フィンガープリント

「An iterative improvement method for state minimization of incompletely specified finite state machines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル