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

  Завантажити