Week 9
- Dates: 3/4/24 - 3/10/24. Test 2 in discussion section this week.
(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) Equally expressive models
(Video) TM vs May Stay machines
(Video) Multitape TMs
(Video) Nondeterministic TMS
(Video) Church-Turing thesis