18.404J The Theory of Computation (Fall 2020, MIT OCW): Lecture 07 - Decision Problems for Automata and Grammars

18.404J The Theory of Computation

18.404J/6.840J The Theory of Computation(Fall 2020, MIT OCW). Instructor: Prof. Michael Sipser. This course emphasizes computability and computational complexity theory. Topics include regular and context-free languages, decidable and undecidable problems, reducibility, recursive function theory, time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, and interactive proof systems. (from ocw.mit.edu)

Lecture 07 - Decision Problems for Automata and Grammars

Quickly reviewed last lecture. Showed the decidability of various problems about automata and grammars: A_DFA, A_NFA, E_DFA, EQ_DFA, and A_CFG. Also showed that A_TM is T-recognizable.

Go to the Course Home or watch other lectures:

Lecture 01 - Introduction: Finite Automata, Regular Expressions

Lecture 02 - Nondeterminism, Closure Properties, Regular Expressions to Finite Automata

Lecture 03 - Regular Pumping Lemma, Finite Automata to Regular Expressions

Lecture 04 - Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion

Lecture 05 - CF Pumping Lemma, Turing Machines

Lecture 06 - TM Variants, Church-Turing Thesis

Lecture 07 - Decision Problems for Automata and Grammars

Lecture 08 - Undecidability

Lecture 09 - Reducibility

Lecture 10 - Computation History Method

Lecture 11 - Recursion Theorem and Logic