Week 9
- Dates: 5/23/22 - 5/27/22
Lecture and Discussion podcast
See videos on podcast.ucsd.edu
Discussion Section: Mondays in WLH 2001
Slides will be posted after the discussion section.
(Video) Reducing A_TM to HALT_TM
(Video) Mapping Reducation Applications
(Video) Mapping Reduction Strategy
(Video) ETM is undecidable, part 1
(Video) Reduce ATM to ETM complement
(Video) Mapping reduction steps
(Video) EQTM
(Video) Complexity motivation
(Video) Complexity first definitions
(Video) Complexity classes examples
(Video) Complexity of ADFA