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

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

. . () - , X, Y, - , ( , ), ( , ), , - - - . . , - , X Y.

X. : , , , . . , X Y ( -Y-), , .

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

, , , . , , F (X) F (Y), - X , . . - X Y. . , . - F (X) F (), ), . (), . , . . . , , ,

, .

, ( ), , . , , ). b ( ) . , , . . , .

, - , - - , , , - , . : -Y- , , , . . , , , , . , .

. - F (X). , S -Y- (- ) , ,

, , . , . . - - . 5 - . , ,

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

. . . . - . G , , . . GA , , . , F (X) -, , GA . - - , . F (X) R F (X) , . , . . 5 S , - , (

, ). R , . . S S" S , F (X) - GA. , . . , . , . R , .

. ( ). , G, G. , , . ., , , , . , , . , , , . X . R, . ( ) , . , , . , .

. , . , . . , , , .

, . . , - . : , , b. . . -, , - - - , - .

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

, . - , G, - , , , . , , .

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

. . . , . . , . (

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

. (. ) , . . , . . , - . , , . . . , . . .: . . . , 1961, . 16, . 5; . . . , 1965, 5; 1gt . ., Mezei J. . On relations defined by generalized finite automata. IBM journal of research and development, 1965, v. 9, Nl;Glushkov V. ., Letichevskii A. A. Theory of algorithms and discrete processors. .: Advances in information systems science, v. 1. New York, 1969. . . , . . .

<< >>