Professional Documents
Culture Documents
חישוביות- הרצאה 4 - בעיית העצירה
חישוביות- הרצאה 4 - בעיית העצירה
HALT(x1,x2) :
:4
"
(" " )
,
,
.
.
) HALT(x1,x2 .
P () :
, ) HALT(x1,x2
!
.
:
.
) HALT(x1,x2
S- :
,
( ).
else
P ,x2#(P)= x2 :
: ) HALT(x1,x2 .
:
)p = #(P
P .X=p : ?
P(1) ( x1 )
1
HALT ( x1 , x2 )
0
HALT(x1,x2)=1"
x2 . x1
.
x1 x2 )HALT(x1,x2
0 - 1 .
.
- -
.
-
.
.
:
: 2-
.
:
,
.
Q :
Z2
Z Z+2
Z2 Z 1
IF (Prime(Z2) Prime(Z Z2)) GOTO A
Z2 Z2 1
IF Z2 1 GOTO B
)q=#(Q
Halt(0,q) = 1" .
][A
][B