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), pp. 31–40. doi: 10.15588/1607-3274-2025-4-3.