Second Midterm Exam

The second midterm exam will be held in class on Wednesday, November 3. The exam will cover chapters 3, 4, and 5.

Here is a list of topics to review for the exam.

• Constructing a Turing Machine to decide a simple language.
• Enumerators and the languages they can enumerate
• Undecidable languages
• Proving that a language is undecidable by a reduction construction or mapping reducibility