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

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.
Type de document :
Communication dans un congrès
Khalid Saeed; Władysław Homenda. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9842, pp.493-503, 2016, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-45378-1_44〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01637518
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 15:46:09
Dernière modification le : samedi 18 novembre 2017 - 01:16:41

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Adam Klimowicz. On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines. Khalid Saeed; Władysław Homenda. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9842, pp.493-503, 2016, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-45378-1_44〉. 〈hal-01637518〉

Partager

Métriques

Consultations de la notice

9