08:07

Decidable iff Recognizable and co-Recognizable Proof

Easy Theory

Shared 18/01/2021

11

Emptiness for CFGs is Decidable (what is a productive variable?)

Easy Theory

Shared 09/12/2020

04:45

Acceptance for Regular Expressions is Decidable

Easy Theory

Shared 07/12/2020

07:01

Emptiness for DFAs is Decidable

Easy Theory

Shared 07/12/2020

09:39

Acceptance for NFAs is Decidable (to convert or to not convert? That's the question!)

Easy Theory

Shared 05/12/2020

13:27

Turing Machine Definitions: Configuration, Computation, Yields, Halting

Easy Theory

Shared 25/11/2020

11:33

Closure Properties of Decidable Languages

Easy Theory

Shared 05/05/2020

06:35

How to Count to Three, a Tutorial

Easy Theory

Shared 20/04/2020