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

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

---

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

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

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