Розроблено математичне забезпечення процесу заміни формул алгебри алгоритмів (ФАА). Проаналізовано особливості побудови ФАА, у результаті чого з'ясовано, що сьогодні підсистеми з реалізацією процесів заміни формул алгоритмів із подальшою адаптацією формул не реалізовано у відомих системах, що і стало стимулом до інтелектуального аналізу процесу заміни ФАА. Відомо, що набір і редагування ФАА, а особливо редагування є надзвичайно складним і трудомістким процесом. Усі зміни в формулі алгоритму впливають на її структуру, оскільки всі елементи формули є взаємопов'язаними. Один з аспектів редагування ФАА - це процес заміни ФАА. Описано знаки операцій алгебри алгоритмів. Розроблено математичне забезпечення процесу заміни ФАА, що враховує вертикальну та горизонтальну орієнтації і тип ФАА: текстовий унітерм, операція секвентування, операція елімінування, операція паралелення і відповідні циклічні операції секвентування, елімінування та паралелення. Попередньо описано процес заміни ФАА. Визначено перелік необхідних елімінувань та секвенції для синтезу відповідних формул. Відповідно до властивостей знаків операцій алгебри алгоритмів мінімізовано синтезовані формули алгоритмів за кількістю унітермів. Також відповідно до властивостей ФАА винесено відповідні унітерми за знаки операцій, у результаті чого отримано формулу алгоритму опису процесу заміни формул алгоритмів.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Василюк Алла Володимирівна (педагогічні науки)
• Василюк Альона Вікторівна (технічні науки)
• Василюк Андрій Степанович (фізико-математичні науки)
• Басюк Тетяна Володимирівна (фізико-математичні науки)
• Басюк Тетяна Олександрівна (географічні науки)
• Басюк Тарас Михайлович (фізико-математичні науки)
• Басюк Тетяна Петрівна (економічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"