2. Доказать, что функция примитивно-рекурсивная:

2. f(x,y)=x*y;

По схеме примитивной рекурсии

1) x*0 = х = I₁(x)

2) x*(y+1) =

Т. о. функцию x*y можно получить с помощью операции примитивной рекурсии из функций и h(x,y,z)=z*1.

2. Построить нормальный алгорифм Маркова, который:

2. преобразует исходное слово, состоящее из последовательности единиц, в символ Ч, если количество единиц четное и в символ НЧ, если количество единиц нечетное.

Пусть Х – некоторый конечный алфавит. Если словам алфавита, то выражения и называются формулами подстановки в алфавите Х:

- простая подстановка;

- окончательная подстановка.

λ – пустое слово.

Х={λ,1}

Нормальная схема подстановок:

1 1  λ

λ 1 1 λ  .Ч λ

λ 1 λ  .Н Ч λ

Преобразуемое слово:

λ 1 1 1 1 1 1 λ → λ λ 1 1 1 1 λ → λ λ λ 1 1 λ → Ч λ

λ 1 1 1 1 1 1 1 λ → λ λ 1 1 1 1 1 λ → λ λ λ 1 1 1 λ → λ λ λ λ 1 λ → Н Ч λ

В 3-й контрольной в задании 2.4. не знаю как правильно унифицировать и получить резольвенту.

11