1.1 -
Ten opis x d x d(x)
TM' = { M, w : M
x c x i y x y c.
S = { M : M L M M S, ani S R k k R z k x1 xk
a1 ak , a1 ak a1 ak R
A R0 R1 A R= a, a a R a, b a, b i a b
M1 B rozstrzyga A M2 C rozstrzyga BM3 M3 C rozstrzyga A. Maszyna M3 M1 gdy M1 x M3 x B M1 M3 B i nie M2 dla x. Maszyna M3 M2 C
Zdanie x y [x y=y N = x = 0. Zdanie x y [x y=x N x y x y=x X -
M w f w
m, n m n m i n
w M' w = M
many-one reducibility
dla B
dla B