Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01637518
Contributor : Hal Ifip <>
Submitted on : Friday, November 17, 2017 - 3:46:09 PM
Last modification on : Saturday, November 18, 2017 - 1:16:41 AM
Long-term archiving on: : Sunday, February 18, 2018 - 3:25:01 PM

File

419526_1_En_44_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

107

Files downloads

188