%0 Journal Article
%T HSM2:A New Heuristic State Minimization Algorithm for Finite State Machine<br>HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine
%A Heng Hu
%A Hong-Xi Xue
%A Ji-Nian Bian
%A <br>HengHu
%A Hong-XiXue
%A Ji-NianBian
%J 计算机科学技术学报
%D 2004
%I 
%X 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.
%K high-level synthesis
%K controller synthesis
%K state minimization
%K minimal closed cover<br>HSM2
%K 高电平合成
%K 控制器
%K 最小密封盖
%K 有限状态机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=AF559C85E89F576692D64AE3A9B49183&yid=D0E58B75BFD8E51C&vid=2A8D03AD8076A2E3&iid=94C357A881DFC066&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=12