Language
L
NonSelfAcceptance
1/3
4
1/45
Gist:
L
NonSelfAcceptance
=
L
SelfAcceptance
Definition:
L
NonSelfAcceptance
= {0, 1}
*
–
L
SelfAcceptance
TM
M
•
Does TM
M
accept
d
(
M
) =
1110…1
?
D
1
…
TM
M
1
1
0
…
1
…
d
(
M
)
d
(
M
)
Ï
L
SelfAcceptance
d
(
M
)
Î
L
SelfAcceptance
YES
NO
Description of
M
:
d
(
M
) =
1110…1