Алгебраические модели программ и эквивалентные преобразования в нихтезисы доклада