, - "" "". , (, , , , , ). , . , , .:)
- , (1,0,1,1,2). , ( ) " 1 0, 1, 2." "", -, , " " " 3" .., (, , ).
, :
- Turing "", "";
- , , ;
- ( ) , HALT.
: , .
:
, , , , . , A, B C. ( "1" "2" ). , () . : " " " " .. ( "1" , "2" ).
, , "". (.. , , ) 2 5 (. ).
, - , , .