%0 Conference Proceedings
%T On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines
%+ Białystok University of Technology
%A Klimowicz, Adam
%Z Part 7: Decisions
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)
%C Vilnius, Lithuania
%Y Khalid Saeed
%Y Władysław Homenda
%I Springer International Publishing
%3 Computer Information Systems and Industrial Management
%V LNCS-9842
%P 493-503
%8 2016-09-14
%D 2016
%R 10.1007/978-3-319-45378-1_44
%K Finite state machine (FSM)
%K State minimization
%K High speed
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X This paper presents a heuristic method for minimization of incompletely specified Mealy finite state machines. In this method, such optimization criteria as the speed and possibility of merging other states are taken into account already at the stage of minimizing internal states. Algorithms for the estimation of optimization criteria values are described. The proposed method is based on two states merging. Experimental results for two styles of state encoding and two types of programmable structures are presented. The results show that this approach to minimization of FSM in most of cases is more effective than classical methods in respect of FSM performance.
%G English
%Z TC 8
%2 https://inria.hal.science/hal-01637518/document
%2 https://inria.hal.science/hal-01637518/file/419526_1_En_44_Chapter.pdf
%L hal-01637518
%U https://inria.hal.science/hal-01637518
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC8
%~ IFIP-CISIM
%~ IFIP-LNCS-9842