HSM2: A new heuristic state minimization algorithm for finite state machine

被引：1
|
作者：
Hu, H [1 ]
Xue, HX [1 ]
Bian, JN [1 ]
机构：
[1] Tsinghua Univ, Dept Comp Sci & Technol, EDA Lab, Beijing 100084, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 05期
关键词：
high-level synthesis; controller synthesis; state minimization; minimal closed cover;
D O I：
10.1007/BF02945600
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper proposes a heuristic state minimization algorithm (HSM2) for finite state machines (FSM). HSM2 focuses on the generation and adjustment of the closed cover. First an initial closed cover is generated by heuristically selecting proper maximal compatibles to satisfy all the covering and closure conditions, and then it is adjusted to be a minimal or near minimal closed cover by heuristically removing repeated states. Experimental results show that the algorithm is faster and obtains better or the same solutions compared with conventional methods.
引用
收藏
页码：729 / U3
页数：5
相关论文
共 50 条
  • [1] HSM2: A new heuristic state minimization algorithm for finite state machine
    Heng Hu
    Hong-Xi Xue
    Ji-Nian Bian
    [J]. Journal of Computer Science and Technology, 2004, 19 : 729 - 733
  • [2] A heuristic algorithm for the minimization of incompletely specified finite state machines
    Ahmad, I
    Das, AS
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2001, 27 (02) : 159 - 172
  • [3] Heuristic Hyper-minimization of Finite State Lexicons
    Drobac, Senka
    Linden, Krister
    Pirinen, Tommi A.
    Silfverberg, Miikka
    [J]. LREC 2014 - NINTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2014, : 3319 - 3324
  • [4] New algorithm of the state-minimization for the nondeterministic finite automata
    Melnikov, B.F.
    [J]. Korean Journal of Computational & Applied Mathematics, 1999, 6 (02): : 277 - 290
  • [5] A new algorithm of the state-minimization for the nondeterministic finite automata
    B. F. Melnikov
    [J]. Korean Journal of Computational & Applied Mathematics, 1999, 6 (2) : 277 - 290
  • [6] Finite state machine state assignment for area and power minimization
    El-Maleh, Aiman
    Sait, Sadiq M.
    Khan, Faisal Nawaz
    [J]. 2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 5303 - +
  • [7] A PARALLEL ALGORITHM FOR THE MINIMIZATION OF FINITE STATE AUTOMATA
    SRIKANT, YN
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 32 (1-2) : 1 - 11
  • [8] OPTIMUM AND HEURISTIC ALGORITHMS FOR AN APPROACH TO FINITE STATE MACHINE DECOMPOSITION
    ASHAR, P
    DEVADAS, S
    NEWTON, AR
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (03) : 296 - 310
  • [9] OPTIMUM AND HEURISTIC ALGORITHMS FOR FINITE STATE MACHINE DECOMPOSITION AND PARTITIONING
    ASHAR, P
    DEVADAS, S
    NEWTON, AR
    [J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 216 - 219
  • [10] A Finite State Machine Aided Pedestrian Navigation State Matching Algorithm
    Fang, Zhixiang
    Luo, Hao
    Li, Ling
    [J]. Cehui Xuebao/Acta Geodaetica et Cartographica Sinica, 2017, 46 (03): : 371 - 380
12345