() ( ).
- , .
. , .
.
1. .
M1 M2 - , A[i153] {a0,a1,...,ap}. Q1[i154] [i155] {q0,q1,...,qn} Q2[i156] [i157] {q0',q1',...,qm'}.
.[i158]
M1 M2 , M=M1×M2, A, Q[i159] {q0,q1,...,qn,qn+1,...,qn+m} M1 M2 : M1, "" q1 ( M1), q0' ( M2); M1 M2 ( M: {q0,q1'[i160],q2,...,qn,q0',q2',...,qm'}).
"" M1, , M1 , M2, q1[i161] q0'. , , .
[i161] Ÿ T1 T2 [i162].
, n=1 m=1.
1.
.[i163]
M
2. .
M1, M2 M3 - , A[i164] {a0,a1,...,ai,...,aj,...,ap} , , : Q1[i165] [i166] {q0,q1,...,qn}, Q2[i167] [i168] {q0',q1',...,qm'}, Q3[i169] [i170] {q0",q1",...,ql"}.
.
[i171] M1, M2 M3[i172] M, M1,M2 M3 : M1[i173], M2 M3. q1 M1[i174] ai, M2, .. q1 q0' M2. q1 M1 a[i175] j, M3, .. q1 q0" M3. M1 M2 . M q1 ( M).
|
|
M1, M2 M3[i176] :
[i177]
( ) M1[i178], M2 [i179] M3[i180] :
.. M1[i181] q1 a0, M2[i182], - M3.
3. .
M - A[i183] {a0,a1,...,ap} Q[i184] {q0,q1,...,qn}.
.[i185]
, (i=0,2,3,...,n; j=0,1,2,...,p; s=0,2,3,...,n)[i186]
M [i187] qiajq1atr, rÎ{L,R,L}, [i188] t=0,1,2,...p, q1 qs.
2[i189].4 [i190]
. . [i191].
, [i191].
: [i191] , .
:
. . [i192]. , , . - , :
1.
, , * :
1.
2.5 [i193]
, , , , . . . , , , , , , , . , , .
|
|
() [i194] , N, - N.
, f(x1, x2, , xn), x1, x2, , xn.
f:Nn→N [i195], , ( , ). , . , , , , .
f(x1, x2, , xn) [i196], k1, k2, , kn f(k1, k2, ,kn) ().
. :
1. .
2. , .
3. () , .
[i197], . , . .
[i198]. .
, , , , . , .
, {0,|}, 0 . , , 0, : 0 - |; 1 - ||; 2 -
N - ||| (n + 1 ). n f(x1, x2, , xn[i199]) [i200], , : 1. <x1, x2, , xn[i201] > f, , 0 |x1+1 0 |x2+1 [i202] 0 |xn[i203] q1[i204] |, |x = || | (x ) ,[i205] , , 0|yq0[i206] |, y = f(x1, x2, , xn). 2. <x1, x2, , xn> f, , , , . . . , , , [i207]. , . . , , , : : [i208] , ; , , . : [i209] , . : [i210] . : [i211] . [i212], , .
|
|
T = <A, Q, >, A -, Q , Q -, . ( ) , , :
: qi a [i213] aj a [i214] qr a [i215] as a [i216] St a [i217], a = 1, 2, , k, S1 - R, S2 - L, S3 - C. (*)
, A0 Q0, a q . qi a, aj a, qr a, as a, St a [i218] A0 Q0.
, (), , . .[i219]
. p1, p2, p3, - , , , 2, 3, 5, 7, 11, 13,
(*)
n (T) = .
, S (x) = x + 1, {0, [i220] }. , a0 = 0, a1 = | : .
n (T)= 21 31 51 71 111 131 170 190 231 293.
, . , n , , .
T, n (T) ( ), .
, . , . T, ( ) , , , , n (T).
: , , .
[i221] , . , , .
|
|
, , T n (T *). T * , T a' q0 [i222] | B' [i223], , T * , T a" q0 [i224] 0 B [i225] ". [i226] a', B', a", B" [i227] .
, , .
[i228] , . .
.
: , T X , T X ( ).
, , : , n (T)0 X, T , X , , T X, a' q0 [i229] |B' [i230], , T , a" q0 [i231] 0 B" [i232]. a', B' a", B" [i233] .
, , .
[i234] [i235] . .
. ( ), , . , .
, .
, . , .
X Y. , X Y . , . x∈[i236] X , n(x) . x y∈[i237] Y n(y), f: Nn[i238] →N, f(n(x))=n(y).
.
1. [x1, x2, , xn[i239] ] , 2x1, 3x2,... p(n)xn [i240], p(n) n- . 5:
[x1, x2, x3, x4, x5[i241] [i242] ] 2x13x25x37x411x5.[i243]
f (, f(73500) = f(22315372110) = 20315272113 = 4891425).[i244]
2. . :
{, } a {1, 0}. [i245] , [i246], ( ).
3. : 256- ( ASCII).
().
|
|
, . , , , . , , (x, y), h(x, y) :
[i246]
1.
(x, y) N(2). h(x, y) = n, : x = h-11(n) y= h-12 (n), [i247] . . h(h-11 (n), h-12 (n)) = n. n (x, y) , , n x y:
, h2(x, y, z)[i248] = h(h(x, y), z) = n , , - x, y, z. , h2 (x, y, z) = n, z= h-12(n), y= h-12 (h-11 (n)), x= h-11 (h-11 (n)), h2(x, y, z) [i249] = h(h(h-11 (h-11 (n)), h-12 (h-11 (n))), h-12 (n)). (x, y, z) N(3). :
hn-1(x1, x2,, xn[i250])=h(hh(h(x1, x2), x3)[i251] xn-1), xn[i252]). hn-1(x1, x2,, xn[i253])=m, xn[i254] = h-12 (m), xn-1 =h-12 (h-11 (m)),....................................., x2[i255] = h-12 (h-11 (...h-11 (m)...)), x1[i256] = h-12 (h (...h (m)...)).
N(1), N(2),..., N (i),..., N(n, N (i) (i) , M = N(1) N(2) ... N (i) .. N(n), M N. n N h(x1,x2,..., xn [i257])= h(hn−1(x1,x2,..., xn), n −1[i258]).
h(x,1x,2..., x)n[i259] = m, hn−1(x,1x,2..., x)n[i260] = h-11 (m), n= h-12 (m)+1. , x1, x2,, xn. [i261]