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

Hiroyuki Higuchi, Yusuke Matsunaga

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)993-1000
Number of pages8
JournalIEICE Transactions on Information and Systems
VolumeE80-D
Issue number10
Publication statusPublished - Jan 1 1997
Externally publishedYes

Fingerprint

Finite automata
Heuristic algorithms
Binary decision diagrams
Merging
Program processors

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

Cite this

An iterative improvement method for state minimization of incompletely specified finite state machines. / Higuchi, Hiroyuki; Matsunaga, Yusuke.

In: IEICE Transactions on Information and Systems, Vol. E80-D, No. 10, 01.01.1997, p. 993-1000.

Research output: Contribution to journalArticle

@article{96176d25b40844e8a4a27318d87610e5,
title = "An iterative improvement method for state minimization of incompletely specified finite state machines",
abstract = "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.",
author = "Hiroyuki Higuchi and Yusuke Matsunaga",
year = "1997",
month = "1",
day = "1",
language = "English",
volume = "E80-D",
pages = "993--1000",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "一般社団法人電子情報通信学会",
number = "10",

}

TY - JOUR

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

AU - Higuchi, Hiroyuki

AU - Matsunaga, Yusuke

PY - 1997/1/1

Y1 - 1997/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031247637&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031247637&partnerID=8YFLogxK

M3 - Article

VL - E80-D

SP - 993

EP - 1000

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 10

ER -