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