Концепція діалогових обчислень та деякі проблеми автоматизації програмування

Abstract

Розглядається концепція діалогових обчислень та наводяться деякі її раелізації в термінах алгебри алгоритміки, насамперед, уточнення основної задачі програмування. В термінах спеціального класу алгоритмів – діалогових адресних програм – дається уточнення поняття “методу програмування” та показується його зв’язок з концепцією змішаних обчислень і проблемою оптимізації програм. Пропонується одне із можливих визначень поняття “діалоговий процес”. Введені поняття демонструються на прикладах. Отримані в роботі результати знаходять реалізацію в діалоговій трансформаційній машині – інструментарії діалогових алгебро- граматичних методів представлення знань.