On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines - Computer Information Systems and Industrial Management (CISIM 2016)
Conference Papers Year : 2016

On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines

Adam Klimowicz
  • Function : Author
  • PersonId : 999186

Abstract

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.
Fichier principal
Vignette du fichier
419526_1_En_44_Chapter.pdf (383.72 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01637518 , version 1 (17-11-2017)

Licence

Identifiers

Cite

Adam Klimowicz. On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.493-503, ⟨10.1007/978-3-319-45378-1_44⟩. ⟨hal-01637518⟩
65 View
101 Download

Altmetric

Share

More