> >
<<
>>
<< >>

2.3. - (F-)

- . , . , . , .

.

( ), . , ( , ) .

(. finite automata) (F-), : X ( ); ( ); ( ); . , F-: , , . .

, . , , , ,

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

, : , . : - , ,

-

,

. . .

, (2.13) (2.17), -, (2.3) (2.4), S X.

. , ( ) . , (2.14), , , . .

, X Y, , .

. F- , , . (2.13) (2.17) , . , , . F- , , , , (2.13) (2.17), , , , - .

.

-, . . , , , . F-, , .

, , . , . F- , ,

, , , (2.17), .

- . 2.1, - (. 2.2).

2.1 (. )

- , . 2.3, - . 2.4.

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

. : , , .

2.3 (. )

2.4 (. )

. 2.3, , F- .

. , . , . ,

. 2.3. () ()

, - , .

F- ,

1- , .

2.2. F- :

: , , . F- , , . .

. - , . , - , .

, , , . ,

, .

2.5 (. )

. 2.4.

2.3. F- , . 2.5 . 2.4. , . , - , , . . 2.3 2.4 . 2.3, 6 2.4 , F- .

, F- - , . , , , . . , . . F- . . , , .

<< >>