Точная, однозначная система правил, сформулированная на языке исполнителя, которая определяет порядок перехода за конечное число шагов от допустимых исходных данных к конечному результату – это …