, , .
() , , .
, F(X) , - . , :
- ;
- .
→ . .
p q .
R L, L L1RL2. , . :
:
, .
1) . , , , , .
2) :
,
.
, . , .
.
={x,y,z};
:
xx y
xy x
yzy x
zz . z
yy x
:
xx xyyyzzz →y xy yyzzz→y xy yzzz →y xy zzz→yx zz z→yxzz
.
X={,,,,,};
:
ծ
̮
Ӯ.
:
ͮ
9:
X={a,b};
:
a→.e
b→b
:
bbbbbb - .
:
abab →bab
.
={,,-1,-1};
:
-1→
-1→
-1→
-1→
:
-1-1→ -1→
10:
={x1, ,xn};
:
x1→e
x2→e
xn→e
.
R Q pÎF(x). , R Q p, .
R Q , , pÎF(x) R(p) Q(p) F(x).
pÎF(x) , R Q .
X={1}, . n :
(n1, n2, nk), n1, n2, nk , , . , 11111*1*111.
|
|
f: Nk→N Rf ,
, . , Rf .
f , Q Rf . , .
: O(x)=0, S(x)=x+1 Im(x1,x2,,xn)=xm .
.
1. O(x)=0 R0:
={1,*}, ;
:
*→* (1)
α11→ α1 (2)
α1→.1 (3)
→ α (4)
:
=11111.
(4) = α 1111.
(2) : = α 11 11→ α 1 11→ α 1.
(3) α 1 →1.
1 , R0 .
2. S(x)=x+1 Rs:
={1,*}, ;
:
*→* (1)
α1→.11 (2)
→ α (3)
:
=11111.
(3) = α 1 111 (n ).
(2) : = 111 11 (n+1 ). n :
, RS(n)=n+1.
, .
3. RI , , : .. .
: .
: .