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

  Повний текст PDF - 334.211 Kb    Зміст випуску     Цитування публікації

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