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

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

Могут ли приведенной 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);
        }
    }

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

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

Программист Андрей Таранов написал быструю программу проверки орфографии. Сначала программа инициализирует логическую хеш-таблицу (булев массив, проиндексированный хеш-функцией) hashDict в false. Затем программа пробегает по всему словарю, и для каждого слова dicWord, выполняется hashDict[dicWord]=true. При проверке синтаксиса, для каждого слова word в тексте, программа проверяет hashDict[word].

Какие утверждения верны: