Here we use mapping reductions to prove that EQ_TM is not recognizable nor is its complement. We also show that A mapping reduces to B if and only if A-complement mapping reduces to B-complement, which is useful.
Easy Theory Website: [ Ссылка ]
Become a member: [ Ссылка ]
Donation (appears on streams): [ Ссылка ]
Paypal: [ Ссылка ]
Patreon: [ Ссылка ]
Discord: [ Ссылка ]
#easytheory
Youtube Live Streaming (Sundays) - subscribe for when these occur.
Social Media:
Facebook Page: [ Ссылка ]
Facebook group: [ Ссылка ]
Twitter: [ Ссылка ]
Merch:
Language Hierarchy Apparel: [ Ссылка ]
Pumping Lemma Apparel: [ Ссылка ]
If you like this content, please consider subscribing to my channel: [ Ссылка ]
Gold Supporters: Micah Wood
Silver Supporters: Timmy Gy
▶SEND ME THEORY QUESTIONS◀
ryan.e.dougherty@icloud.com
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
