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

Какое утверждение неверно для нижеприведенной грамматики?

    S::=AB
    A::=a
    A::=BaB
    B::=bbA

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

Приведенная 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);
        }
    }

Рассмотрим таблицу vtable:

   A   B   C
  -----------
   1   2   4
   2   1   6
   1   2   4
   1   1   20
   2   1   4
   12  0   9

Сколько строк вернет следующий SQL-оператор?

  SELECT DISTINCT a,b FROM vtable

Какое отношение между сущностями A и C, согласно следующей ER-диаграмме: