naa a22 4500 510809847 CHVBK 20180411083437.0 cr unu---uuuuu 180411e20130501xx s 000 0 eng 10.1134/S106423071303009X doi (NATIONALLICENCE)springer-10.1134/S106423071303009X Minimization of incompletely specified mealy finite-state machines by merging two internal states [Elektronische Daten] [A. Klimowicz, V. Solov'ev] A heuristic method for the minimization of Mealy finite state machines (FSMs) with unspecified values of the output variables based on merging two states is considered. Necessary and sufficient conditions for the possibility to merge two states and for forming wait states are given. Algorithms for determining the set of state pairs that can be merged, algorithms for finding the best pair for merging, and for the minimization of the number of FSM states and FSM input variables are presented. The proposed method makes it possible to reduce the number of internal states by a factor of 1.22 on the average and sometimes even by a factor of 2.75. The number of FSM transitions is reduced by a factor of 1.32 on the average and sometimes by a factor of 2.27. Compared with the well-known STAMINA computer program, the proposed method does not reduce the number of states but considerably reduces the number of transitions by a factor of 1.55 on the average and sometimes by a factor of 3.92. Pleiades Publishing, Ltd., 2013 Klimowicz A. Bialystok University of Technology, Bialystok, Poland aut Solov'ev V. Bialystok University of Technology, Bialystok, Poland aut Journal of Computer and Systems Sciences International SP MAIK Nauka/Interperiodica 52/3(2013-05-01), 400-409 1064-2307 52:3<400 2013 52 11488 https://doi.org/10.1134/S106423071303009X text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1134/S106423071303009X text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Klimowicz A. Bialystok University of Technology, Bialystok, Poland aut NATIONALLICENCE 700 1- Solov'ev V. Bialystok University of Technology, Bialystok, Poland aut NATIONALLICENCE 773 0- Journal of Computer and Systems Sciences International SP MAIK Nauka/Interperiodica 52/3(2013-05-01), 400-409 1064-2307 52:3<400 2013 52 11488 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer