Rice's Theorem Example: Emptiness for Turing Machines

Veröffentlicht am: 17 August 2022
auf dem Kanal: Easy Theory

4,606

Here we prove that the emptiness problem for Turing Machines is undecidable via Rice's theorem; this problem is also known as the E_TM problem. This is a simple application of Rice, and all we need to do is to show that the language is a nontrivial property of TM languages. The example TMs needed are very easy and straightforward.

Easy Theory Website: https://www.easytheory.org
Discord: / discord

If you like this content, please consider subscribing to my channel: / @easytheory

▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.

The views expressed in this video are not reflective of any of my current or former employers.

Auf dieser Seite können Sie das Online-Video Rice's Theorem Example: Emptiness for Turing Machines mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer Easy Theory 17 August 2022 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 4,606 Mal angesehen und es wurde von 68 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!

2,474

106