On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

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

Adam Klimowicz
  • Fonction : Auteur
  • PersonId : 999186

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

Citer

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⟩
64 Consultations
100 Téléchargements

Altmetric

Partager

More