Автоматизований переклад початкового програмного коду

Анотація

Розглядаються принципи побудови предствавленія програмного коду у вигляді деякого графа. Показано, що такий граф може бути синтезований з використанням методів, заснованих на теорії програмних алгебр. В якості універсального і синтаксично незалежного засобу представлення програмного коду запропоновано використовувати алгоритмічні алгебри. В роботі розглянуто приклад синтезу графа завдань для коду на мові C.