MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE. - Babakov, R. M.; Barkalov, A. A.; Titarenko, L. A. (Radio Electronics, Computer Science, Control, 2026)