> > . .1
<<
>>
<< >>

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

, , , , . S . , ( ), , S, - S, ., S,

. . . :

, . (. . ) . , , , - .

. , : ,

, . ; , . , , . , , . , , , . , (1) S. , (1) . . . . . - , , . :

.

, , , . (2), .

, , , . .

, . .

, . ( - ); , (3) . , . ( ) - (3) () , - (. ).

.: . . . ., 1962 [. . 464-469]; Ginzbug A. Algebraic theory of automata. New York - London, 1968 [. . 157160].

<< >>