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

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

Рассмотрим паскалеобразный фрагмент:

    var i,j:integer;
    procedure P(k,m : integer by reference);
    begin
        k:=k-m;
        m:=k+m;
        k:=m-k;
    end;
    i:=2;
    j:=3;
    P(i,j);

Боб загадал (и записал) число от 1 до 1000. Алиса должна отгадать это число и может задавать любые вопросы, подразумевающие ответ да/нет, а Боб обязан отвечать правду. Сколько вопросов придется задать в худшем случае при использовании оптимальной стратегии?

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

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

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

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