ТАВТ.Лекции.Клепиков.2012 / Автоматы распознавания языков__

1.

( ) ,

L ( L

). L . L

– ,

.

) , , -

.

( ), ,

( , , ,

, , , ).

,

, .

,

.

.

Ry ,

Ry ,

, , .

Ry ,

( )

( ), .

( ), ,

. , ,

-

F,

. R , R

_1

,

F.

F,

- X. ( )

( . ). ,

.

( ) {Ri},

( )

{Fi}

- {yi}.

.

.

, .

.

, , ,

, . ,

« » ,

,

.

.

, , ,

, .

2.

( )

*D, - , D -

. ,

D.

, ,

( )

_2

.

, ,

, ,

. .

.

1. ,

: OHHI, HOHI, HHOI.

: , , , , , , , , .

.

, : OHHI, HOHI, HHOI.

, .

:

_3

3.

, « »

. ,

, ,

.

.

,

. , –

.

, – , ,

, 2 –

.

, ,

,

.

2. (in1,in2)

, :

in1 in2

.

.

_4

.1.

( )

:

,

, ,

( ,

b q, q b.):

aca abqa abaqa acba abcba abca abcqa

1,

.

( 1) 1.

_5

1

. S

.

).

, ,

. 3

,

. 4 ,

, .

, .

_6

, 2

).

( .2).

CL—RG

: A1 i2; A2 i1; B1 i4; B2 i3.

.2.

4.

- ,

.

, .

L ,

.

, ,

. ( ) .

, ,

, .

_7

A×B A B),

.

, . ,

, ,

( ),

. , ,

.

, ( )

.

, , ,

,

.

( ) .

,

, .

,

.

( )

( )

( 2n, n –

),

,

.

_8

5.

,

.

:

,

. .

, ,

. ,

.

:

1). ;

, 2

3,4,...

2). ( ),

: , ,

.

3).

, 1.

. ( ,

)

, . ,

. ,

, ,

. .

4), ,

, ,

.

5). ( ),

: , ,

.

_9

6). ,

, 1.

, , ,

, ,

, -

( ). ,

0. 0

. ( 0 « » .)

7).

, , .

, ,

.

8).

, ,

.

3. .

, 1,

3-

11 ( 4- ) 00.

:

00

11 I

(01 10) X

( .3) .

_10