Musayev Muhammadjon Usarovich,; Abduganiyeva Yulduzoy Shahabidinovna,; Miratoyev Zohidjon Mirvaliyevich. TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS. IEJRD - International Multidisciplinary Journal 2020, 5, 8.