Как называется свойство алгоритма, означающее, что он задан с таких предписаний, которые исполнитель может воспринимать и по которым может выполнять требуемые действия?

Using system; using system.collections.generic; using system.linq; using system.text; using system.threading.tasks; namespace сишарп {       class program       {               static void main(string[] args)               {                       console.write("n = ");                       int n = int.parse(console.;                       console.write("a({0}): ",n);                       double[] a = new double[n];                       int max = 1, min = 1;                       random rnd = new random();                       for (int i = 0; i < n; i++)                       {                               a[i] = rnd.nextdouble() * n;                               console.write(" {0: 0.0}",a[i]);                               if (a[i] > a[max]) max = i;                               if (a[i] < a[min]) min = i;                       }                       console.writeline("\nmin(a) = {0: 0.0}[{1}]",a[min],min+1);                       console.writeline("max(a) = {0: 0.0}[{1}]", a[max], max+1);                       console.readkey();               }       } } n = 13 a(13): 11,0 9,2 4,5 12,0 2,5 11,1 9,6 10,4 0,2 10,2 6,7 0,4 10,0 min(a) = 0,2[9] max(a) = 12,0[4]