, . , f (S), S 2 (.. - , , ), , T f (S) S 2, T. ( T, "A" , - .)
, , n , Omega (2 ^ n), . ( , , "A" , n + 1 , , big Omega.) , n, . n , , ; , , , , , , , .
, , , . " ", , ( ), , .. , S, f (S), f (T) T, S. , , S: t1 t2 - T, , ; S - T, , t1 t2. S1 S t1 S2 S + t2. , T, S1, S2, {t1, t2}. f (S1) f (S2) , f ({t1, t2}) f (T) = .
"A" t1 t2, , , f T, "A" . ( , , T .) ! - f (T). 2 ^ (n-1); , : "A" (n-1) , i- 1 , (i + 1) - ( 0010110, 2, 4 5, { "A" , "C", "D", "F" } "A" .. "H" - . 0 , "A" = 0). , , k- n-. ( , 0 1 , 2 , .)