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

Пусть 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

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

    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);

Какие обьекты СУБД обычно получают параметры от приложения и возвращают некий код результата выполнения?

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