Вы находитесь на странице: 1из 32

. .

...................................................................................................................................1
1. ..............................................................................................2
2. .......................................................6
3. . ...............................................................................................7
4. ...........................................................................9
5. ........................................................................................................10
7. . ..................................16
8. .......................................................................................20
9. ....................................................................................................................28
10. ..........................................................................................................29

.
,
2005 .

, : ,
, ,
, .
,

, ( ),
. ,
:
, .

:
- ;
- ;
- , (
).

( , ).


. ,
,
.

1. .
. (
) (A, Q, B, , , q0), :
A ,
(
,
);
Q , ;
B , ;
:AXQQ, ;
:AXQB, ;
q0 - Q, .
.
,
A B,
,
.
.
, t
. x(t) ,
t, y(t) , , q(t)
t. t
:
q t 1
y t

x t ,q t
x t ,y t
q 1 q0


( , ).
, , , (
, ) .
. , x
q q,x).
. A
.
A A*.
f:A*B* A B.
, , -, ,
, -, A n ,

f n
.
: ax1 ax2 A* a ,
f(axi)=byi , b , a, by1 by2.
, a fa:A*B*, ,
f(ax)=bfa(x). fa : , fa
, , fa(cx)=dy, f(acx)=bdy, f(acx)=bdy,
, fa(cx)=dy. ,
f a A*
fa, f.
. a
fa , f ( .-.) .
1.1. ,
- .
A B
f, =a(1)a(2)
a(t) =b(1)b(2)b(t), t .
, f.
:
, , .-. .
.-. , .
, ,
.
.. ,
, (
) , ,
f, x)= fx f, x)=
fx).

, .
,
, , qi
qj, (x,qi)=qj .
(x,(x,qi)), , ,
.
, .
(x,y) : x/y.

: x=(x1,...,xk)A*, q1Q (xi,qi)=qi+1.
(x,q1)=qk+1 , x
q1 qi+1.
.
x(t){0,1}

(t){0,1}. ,
.
1.2.
y(t)=x(t-1) & x(t-2), y(1)=y(2)=0.
.
-
.
. ,
,
,
.
, q1q2=(q1,q2),
q1(t)=x(t-1), q2(t)=x(t-2).
q1(t+1)=x(t), q2(t+1)=q1(t).
y(1)=y(2)=0
q1(0)=q2(0)=0. (x,q1,q2)=q1&q2.
:
x (00,x) (01,x) (10,x) (11,x)
0

00

10

00

10

01

11

01

11

0/0
00 *

0/0

1/0

01

0/0

1/0
1/0

10

11
0/1
1/1

1.3.
y(t)=x(1)x(t)
1.4.
y(t)=x(2)x(t)
1.5.
y(t)=x(t)&(x(t-1)x(1)), x(0)=1
1.6.

( ).
n,
n<10. , .
n=2,3,4,5.


. (,
,
).
. n- ( )
, .
,
(xx,q)=(x,q) ,
.
1.7.
4-
. ,
,
- ,
.
, ( ,
, , ).
, ,
- .
1.8. .
,

( ,

, ).
(. )
{0,1},
.
.
f(p),
(
, )
.
.
. 1)
.
2) f(x) (0,1),
[0,1] ( -
0 1, )
,
0 (0,1).
, f(x) .
1.9. 1.2-1.6.
1.10. , ) ) x/2.

2. .
,
; .

.
.
( ),
, .
, ,

.
, ,
, .
.
, , ,
, ,
.
.-. ,
.
: ,
|Q|-1, , |Q| .
2.1. ,
, ,
, |Q|-1.

.
, , ,
, ,
,
.
. ,
, .-. .
. ,
.
, ,
.

. :
.
2.2. .
( ).


.
(x,q)=((x,q)), ,
, . ,
, - (q,y), q
, y
(x,q') (x,q') , (x,q')=q.
- (x,q0), q0
. '(x,
(q,y))=('(x,q),'(x,q)), (q,y)=y.
, ,
, , .
2.3. , 1.2 -1.5
.
1.

3. .

. ( )

,
.
( , ,
)
. ,
, .
, . ,
:

. ,
, .
, .

.
, ,
. (,

).

-,
( )
, .
,
; ,

, ,
, ,
.
.

,
,
, .
,
.

, ,
.
(
) :
,
.
,
.

,
.
.
. ,
.
, ,
- ;
, .
. ,
.
. ,
2,

.
. n , {}
A=({1..n}, {0,1}n,{0,1}, ,,(0 0)), ,
1. {1..n} 1
n, - 0 1 n,
{0,1}, (0 0) ;
2. , ,
q k q, k-
1;

3. (q,x)=f((q,x)), f
n ,
.
, n2
. ,
2n, n.
, n2d .
, ,
(1+x)n,
. ?
. n , {i}
Ai=({0,1},Zn,{0,1}, i,,0), i=1..n, , :
i(0,k)=k+1 mod n,
i(1,k)=k+1 mod n, ki
i(1,k)=i-1 mod n.

. , , .

4.

,
. .
, ,
, :
-, .
;
-, .
, ;
,
( , .. !);
- ,
,
. ,
, , ,
( , ,
). ,
,
, , .
, ,
, .

,

; , ,
.
L(f) , f,
, L(n) L(f)
f n . L(n) .
. L(n) 2 n n

5.
, ,

.
,
,
.
. ,
(
) E={0,1}, .
.
.
.
. (A, Q, B, , , q0). k
l, , 2k|A| 2l|B|.
f:AEk g:BEl,
. , f, ,
f(A) - Ek; -
Ek, f-1 Ek A.
(Ek, Q, El, ', ', q0) c
:
'(x,q)=(f-1(x ),q),
'(x,q)=g((f-1(x ),q)).
x=(x1,...xk ) - , Ek..
,
f-1, g.
, .
,
, k l .
,
/ ( ),
.
, , ,
:

1. . (Ek, Q, El, , ,
q0) (k+1)-
(Ek+1, Q, El-1, ', , q0),
'((x1,...xk+1),q)=((x1,...xk ),q).
.
2. . i-
,
xi x.
(Ek-1, Q, El, ', ', q0)
'((x1,...xi-1,xi+1, ,...xk, ),q)=((x1,...xk ),q)
.
3. . (Ek, Q, El, , , q0)
i- (Ek, Q, El-1, , ', q0),
'(q,x)=(y1,...yi-1,yi+1, ,....yk, ), '(q,x)=(y1,...yi-1,yi,yi+1, ,....yk, ).
4. () . (Ek, Q,
El, , , q0) i- j-
(Ek-1, Q, El, ', ', q0),
'((x1,...xi-1,xi+1,,..,xj,....xk, ),q)=(x1,...xi-1,xj,xi+1,,..,xi-1,xi,xi+1,....xk, ),q)
( i- j-)
.
5. . A1=(Ek,
Q2, El, 1, 1, q1) A2=(Em, Q2, En, 2, 2, q2).
A3=(Ek+m, Q1Q2, El+n, , , q)
:
((x1,x2),(q1,q2))=(1(x1,q1),2(x2,q2)),
((x1,x2),(q1,q2))=(1(x1,q1),2(x2,q2))
q=(q1,q2). ( x1 x2
,
k, m. (x1,x2)
k+m.
6. .
A1=(Ek, Q2, El, 1, 1, q1) A2=(Ek, Q2, El, 2, 2, q2). i-
j- .
A4=(Ek+m-1, Q1Q2, El+n, , , q)
:
((x1,z2),(q1,q2))=(1(x1,q1),2(u2,q2)),
((x1,z2),(q1,q2))=(1(x1,q1),2(u2,q2)).
z2 m-1 , x2
j- , u2 - x2, j-
i- 1(x1,q1).

, 6; ,

0
7.
7. . , j-
A1=(Ek, Q2, El, , , q1) i- , j (x,q) i-
x. A5=(Ek-1,
Q2, El, ', ', q1) '(z,q)=(u,q),
'(z,q)=(u,q), z m-1 ,
x j- , u - x, j-
i- '(z,q).
,
.

5.1. , 6 5 7.
* 5.2. ,
, ,
, .
. 1-6
, 1-7 .
, M
(
) M
(M).
, M
( ) M
(M).
,
.
.
:
-, .
;
-, .
;
,
( , .. !);
-,
,
, .

: -
,
,
.

5.3. , ,
, .
, M M(M)(M).
M, (M)(M) ,
.
(K
),
, .
. 1.
. 2. ,
K.
(2).

( ).
; ,

;
.

; ,
,
,
.
,
. ( )
:
0/0

*0

0/1

1/1

1/0

y(t+1)=x(t), y(0)=0.
5.4. )
; ) n .

.
, ,
,
-
(, , ).
.

.

1.
(
). ,
; ,
.
2, ,
,
;
2. ,
,
.
.
3. -
,
. ,
y(t+1)=x(t), y(0)=0, x y .
4. , ,
(
).
,
.
5. ,
( ,
).
. ,
. ,
.
:

,
,
f y ,
,
.
,
,
.
.
,
.
. 5.5. ,
.
5.6. ,
(
, )
,
5.7. ,
.
5.8.
,

.
5.9.
, 1.2 1.5.
2.

7. .
.



.

,
.
,
.
Q,
1, 2 k Q, ,
Q.
,
: , {1,2}{3,4}{5}
5 .
. , 1 2 ,
, q1 q2 1,
, a (a,q1) (a,q2)
2. ,

. : (1,2)
. ( ,
).
. ,
( ..),
.
. 1 ,
; 0 ,
. (0,)
(,1) ; , 0 1 .-. .
.-. , ,
.

.
. , 1 ,
1 . :
1 .
01.
. ,

. : 1 .
.
. ( )
, .
: 1+.
7.1. . +, , +, 0,
+, 1? (
)? * ?
* 7.2. , -
, .
q1 q2 qk.
, ( ,
) ,

, .

,
. ( ,
, , ,
( , ),
).
.
.
.
. ,
, ( ),
0. ,
, 0.
, ,
, .
. ( )
, ,
,
,
.
. :
q(t)
,q(t))
1,q(t))
1

4
4
:

{1,4}{2,3} ..-;
1 ={1,2}{3,4} ={1,3}{2,4} ;
1 ( ) .

. ,
i qi:
q
1
2
3
4
q1

0
1
0
1
q
,
:
,
.
. 1. ..-
,
:

, , .., . ,
( ) ,
.
.
1 , . .
2. .-. ,
0, :
1.

2. .
.
. ,
,
:
7.3)
q(t) ,q(t)) 1,q(t)) 2,q(t))
1

7.4)

q(t) ,q(t)) 1,q(t)) 2,q(t)) 2,q(t))


1

5
5
4
3
5
7.5. ,
4-
(. 1.7)

8.
A, ,
.
, , ,
. ,
(,
12 34 1234).
: a a=a=a.
A
.
.
1.
,
; , C
A B (: C=AB),
ab, a b A B .
2.
,
( 0) ,
x1 x2 xk , x1,x2,xk .
, A a b, B,
, , a, b, ab, bba, aaba
. : B=A*.
3.
.
, , U; ,
: C=A|B.
. A ,
,
, :
1) ;
2) , {}.
3) , : {a}, aA.
, , ,
, ,
; ,
,
.
A : ,*, U, , (
). A,
,
, .
,
( ). :
1.
{a} a; { ,
.

2.

A A ,
A*, , B,
(B)*. (
A* ,
A,
, ).
3.
A U B, A B
.
4.
, A B, AB,
;
A(B), (A)B, (A)(B),
, .

: ,
. , 10* 1, 10, 100,
1000, (10)* - , 10, 1010, 101010
,
.
{0,1},
q0. , , (x,q0)=1.
. ,
, .
, ,
, .
,
2;
- , 1
. ,
.
. ,
.
. ,
{0, 1}. ,
.
1 n ,
. : Lkij , i j, ,
(
) k.
L0ij 1 , ,
i j
. , L0ij={a A: (a,i)=j}. - ,
.

Lkij , k<m
, Lmij=Lm-1ij U( Lm-1im(Lm-1mm)*Lm-1mj). , Lkij ,
k<m , Lmij . ,
Lnij .
a. , Lnai, i
, .
,
.
.
( ,
). A
:
,
. ( ,
).
A,
.

A : ,
, AU{;
, .
, , ,
.
: 0(11)*0:
0


. . .
. , ,
, . , ,
,
. :

, , ,
, ,
. ,
A B. , AB
: B 2,
A K1,
1 2 , l. ,
,
1, H2 . ,
, ,
AB .
, AB.
1, 2, 1 2 ,
, ,
1 2, 1 2 ,
. 1 1, 2
2, R .

,
, .
,
, .
:

AUB

A*

AB


. , b
a, a b,
, . ,

. : ,
(0U1)* 0*1*,
,
, ( 8.1. ).
, , .
, , .
.
:
- , ;
{0,1};
-
( , );
. , b

a, a
b, , .
; ,
,
, ;
- ,
, ;
- x -
S , S
, x,
;
- ,
-.
.
4. . ,
,
:
. ,
, ,
.
5. , .
.
.
8.2. , .
, ?
. ,
, .
, ()
.
. ,
, :
1. , .
2. , .
3. ..-
.
4. , (
/..-).
5. ,
L.
8.3. 1(11)*U01*
. 1. ,
:

,
. :
d
1

e ()

1
a ()

2. :
S1 ={a} ;
S2={b,e}=(0,S1) ;
S3={c,e}=(1,S1) ;
S4={d}=(1,S3);
S5= =(0,S3)=(0,S4)=(0,S2);
: (1,S2)= S2 ;(1,S4)=
S3;(0,S5)=(1,S5)= S5. (
S, ):
q
1 2 3 4 5
(0,q) 2 5 5 5 5
(1,q) 3 2 4 3 5
3. , {1,3,4}{2,5} ..-
.
4. q1 , q2 q3 ,
, :
q
1 2 3 4 5
q1
0 1 0 0 1
q2
0 0 1 0 1

q3
0 0 0 1 0
q3=1 4 , q(t+1)
q(t) 4.
, , :
q1(t+1)= x q 1 t ;
q2(t+1)= q 1 t q 2 t q 3 t x q 3 t q 1 t q 2 t
q3(t+1)= x q 1 t q 2 t q 3 t
, :
(q(t+1))=(q1+q2).
5. ,
.
. :
1
1

1
*

0
5

0,1

. ,
:
- , ;
- S4 S3 S3;
11(11*)
- S5 S2 S5 S5
01*0(0U1)*;
- S5 S3 S4 11*0(0U1)*.
, ,
, U11(11)*U01*0(0U1)*
U11*0(0U1)*. ,
(11)* U(0U1)1*0(0U1)* - .
8.4 1*U(0*1)*
8.5 1*U(10)*1
8.6 1*0U0*1*
8.7 1*0 U 10*0
8.8 (1(00)*)U((00*)1)
8.9 (01)*U0*1*
8.10 (0U 01)*(10)*1

9.

.
. ,
...
,
:

,
.

.
.
. A,
. .
, A,

A , -
s(n,t):XA .
, . ,

.
A
AX{L,R,S}.
p(t).
s(p(t)), ,
(a,d), aA, d{L,R,S}. a
, : s(p(t),t+1)=a.
d (L) (R)
(S)
, , d=L, p(t+1)=p(t)-1.

. ,
.
, ,

, .
.
A* (, ,
). ,
, ,
, , -
;
, t. ,

,
; ,
, ,
.
. . ,

, f:A*A*
.

10. .

, .
,
.
. .
s(x,y,t): XXQ, Q .
T
, ,
( {(0,1), (0,-1), (1,0), (-1,0)}
).

, Qk+1, k -
.
s(x,y,t+1)=(s(x,y,t),s(x+u1,y+v1,t),...,s(x+uk,y+vk,t)), (u1,v1),...,(uk,vk)
.
: -, q0,q0,...,q0)=q0, q0 ; ,
.
10.1. ,
.

.
, (
, ,
),
,
.

( ,
- ) ,
, ,
,
.

10.2.

* *
* *
* *
* *
* *
* *
*

10.3

* *
*

* *

*
*

* *
*

* *

10.4

* * * * * * * * *
*

* * * * *

* * * * *

* * * * * * * * *

10.4

10.5

* * * * * * *

* * *

* * * * *

* * * * * * * * *