Заранее заданное понятное и точное предписание возможному исполнителю совершить определённую последовательность действий для получения решения задачи за конечное число шагов, называется: