R. M. . Babakov, A. A. . Barkalov, and . L. A. . Titarenko, “PSEUDO-RANDOM ENCODING OF STATES IN THE ALGORITHM FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE”, RIC, no. 4, pp. 31–40, Dec. 2025.