Базовый Эрудит — questions

Приведенная C-программа

    #include <stdio.h>
    main()
    {
        float sum=0.0, j=1.0, i=2.0;
        while (i/j>0.001)
        {
            j=j+j;
            sum=sum+i/j;
            printf("%f \n",sum);
        }
    }

Пусть P - рекурсивная процедура. Если гарантируется, что P рано или поздно завершает работу, то какие утверждения верны?

Какой набор может быть множеством всех общих делителей для некоторых двух целых?

Обозначим через реверс (полную перестановку) для строки x. Тогда для реверс конкатенации строк x и y, будет:

Для программного фрагмента

    p:=1; k:=0;
    while k<n do
    begin
        p:=2*p;
        k:=k+1;
    end;