Babakov, R.M. , Barkalov, A.A. and Titarenko, .L.A. 2025. PSEUDO-RANDOM ENCODING OF STATES IN THE ALGORITHM FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE. Radio Electronics, Computer Science, Control. 4 (Dec. 2025), 31–40. DOI:https://doi.org/10.15588/1607-3274-2025-4-3.