Undecidability in 2 Hours (A_TM, Rice's Theorem, LBAs, EQ_CFG)

(I know there's a video/audio sync issue, I can't find a way to fix it, sorry! This is the recorded version of the livestream, so shouldn't have any dropped frames.)

Here we cover everything to do with undecidability, such as the A_TM and E_TM problems. Also we do Rice's theorem, and show that certain problems for linear bounded automata (LBAs) and context-free grammars are undecidable.

Easy Theory Website: https://www.easytheory.org
Become a member: https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg/join
Donation (appears on streams): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon: https://www.patreon.com/easytheory
Discord: https://discord.gg/SD4U3hs

#easytheory

Youtube Live Streaming (Sundays) - subscribe for when these occur.

Social Media:
Facebook Page: https://www.facebook.com/easytheory/
Facebook group: https://www.facebook.com/groups/easytheory/
Twitter: https://twitter.com/EasyTheory

Merch:
Language Hierarchy Apparel: https://teespring.com/language-hierarchy?pid=2&cid=2122
Pumping Lemma Apparel: https://teespring.com/pumping-lemma-for-regular-lang

If you like this content, please consider subscribing to my channel: https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg?sub_confirmation=1

Gold Supporters: Micah Wood
Silver Supporters: Timmy Gy

▶SEND ME THEORY QUESTIONS◀
[email protected]

▶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.

Тэги:

#easy_theory #rices_theorem_undecidable_examples #rices_theorem_proof #eq_cfg_undecidable #undecidable #undecidable_problems #undecidable_problems_about_turing_machine #undecidable_language_example #a_tm #atm_turing_machine #atm #etm_is_undecidable #rices_theorem_undecidable #rices_theorem #rice_theorem #rice_theorem_in_theory_of_computation

Скачать видео