- Tytuł:
- Minimization of finite state machines by states merging
- Autorzy:
- Salauyou, V.
- Powiązania:
- https://bibliotekanauki.pl/articles/114664.pdf
- Data publikacji:
- 2016
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
finite state machine
minimization
state merging
FSM transitions
FSM input variables
digital systems - Opis:
- The paper presents a method for minimization of finite state machines (FSMs) with unspecified values of output variables. The proposed method is based on merging of two states. In addition to reduction of the FSM states, the method also allows reducing the number of FSM transitions and FSM input variables. This method enables reducing the number of internal states of the initial FSM by 1.22 times on the average, and by 2.75 times on occasion. An average reduction of the number of FSM transitions makes up 1.32 times, and on occasion may amount to 2.27 times. The comparison of the method with the program STAMINA shows that the offered method allows decreasing the number of FSM transitions by 1.55 times on the average, and by 3.92 times on occasion.
- Źródło:
-
Measurement Automation Monitoring; 2016, 62, 5; 179-181
2450-2855 - Pojawia się w:
- Measurement Automation Monitoring
- Dostawca treści:
- Biblioteka Nauki