13:25

Moving Left Three Times in a Row is Undecidable - Easy Theory

Easy Theory

Shared 09/08/2021

35:55

Minimal Context-Free Grammars are Undecidable

Easy Theory

Shared 28/04/2021

15:12

Busy Beaver Numbers are Undecidable

Easy Theory

Shared 22/04/2021

07:33

Stuck Ships are Undecidable!

Easy Theory

Shared 29/03/2021

18:19

Universality for Context-Free Grammars is Undecidable

Easy Theory

Shared 20/01/2021

09:31

Equivalence for Context-Free Grammars is Undecidable and co-Recognizable

Easy Theory

Shared 20/01/2021

12:07

Acceptance for Turing Machines is Undecidable, but Recognizable

Easy Theory

Shared 18/01/2021

08:59

Emptiness for Turing Machines is Undecidable

Easy Theory

Shared 18/01/2021