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

Рассмотрим содержимое следующей таблицы:

   A        B        C
  ------------------------
   1    дерево      гвозди
   2    дерево      гвозди
   3    дерево      гвозди
   4    металл      пайка
   5    металл      пайка
   6    стекло      шпаклевка
   7    стекло      шпаклевка

Учитывая, что A первичный ключ таблицы, какая самая базовая из нормальных форм, возможно нарушается?

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

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

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

Могут ли приведенной BNF-грамматикой

    <word>::=<letter>|<letter><pairlet>|<letter><pairdig>
    <pairlet>::=<letter><letter>|<pairlet><letter><letter>
    <pairdig>::=<digit><digit>|<pairdig><digit><digit>
    <letter>::=a|b|c|...|y|z
    <digit>::=0|1|2|...|9

Рассмотрим 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);
        }
    }