Week 7
- Dates: 5/9/22 - 5/13/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) Decidable computational problems
(Video) ADFA and EDFA and EQDFA
(Video) ADFA is decidable
(Video) AREX and ANFA are decidable
(Video) EDFA is decidable
(Video) EQDFA is decidable
(Video) Decidability proofs recap
(Video) Undecidability Counting Argument
(Video) ATM recognizable