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