: , ( , λ , ).
() . :
1. , - .
2. .
, . .
(). - .
, . . .
- , , :
1. .
2. ().
3. ().
4. ().
.
, =<A,Q, >.
: ,
D={, , }. (- , , ).
:
q1 | q2 | . | qn | |
a1 | ||||
a2 | ||||
. | ||||
am |
. .
:
( , q1, , , ).
( 1, q1, , , q2, , ).
( 1, q2, , , , , ).
( , q2, , , , 1, ).
:
q1 | q2 | |
( ) ,
p1 ( ),
qs ,
ai ,
p2 .
(), , , - .
|
|
:
1.
2.
. .
, , (. . , , ).
: .
, . . , N (N=0,1,2,).
, , .
:
f(x,y)=x+y ,
f(x,y)=x-y , . . .
, .
:
1. (1, 1, 2, 3, 5, 8, ) f(n), f(0)=1, f(1)=1, f(n+2)=f(n)+f(n+1).
2. (n!=1*2*3**n) f(0)=1, f(n+1)=f(n)*(n+1).
( ) . .
1. S(x)=x+1 .
: S(0)=1, S(1)=2, S(-5) .
2. ()=0 -;
: (0)=0, (1)=0, (-5) .
3. Im(x1,x2,,xn)=xm, (m=1,2,n) ( ).
: I2(1,2,3,4,n)=2.
, : , .
1. ().
f m- , g1,gm n- N. S f g1,gm n- h.
:
1) , .
S(O(x))=0+1=1
S(S(O(x)))=0+1+1=0+2=2
S(S(O(x)))=0+n, n.
2) , n.
S(x)=x+1
S(S(x))=x+1+1=x+2
S(S(S(x)))=x+n.
2.
R (n+2)- f n- g (n+1)- h=R(f,g), :
n=0 :
, ,
: .
h, g, f , y h, .
- (), .
:
1) - - .
:
2) - - .
|
|
3. ( -)
, y .
- . y, . , 0. - , 0.
0 , - .
: g(x,y)=x-y+3;
=1 y.
, . . 1-1+3=3
, . . 1-2+3=2
, . . 1-3+3=1
, . . 1-1+3=0
, .
f(x1,x2,,xn) (), , .
.
f(x,y)=x-y - , . . , x<y. N, .
.
1)
2)
3)
- , - - .
, . . :
1) =0 .
2)
. . () Im(x1,xn) R.
- , - - .
1)
2)
. . h(x,y,z)= .
- -
- - - .
- f(x,y)=x-y :
.
, f(x,y)=x-y - .
- ().
, f(x1,xn). , , . , . . .
f(x1,xn) , , f(k1,kn), k1,kn.
. - .
. , .
. .
- .