Week 7
- Dates: 5/15/23 - 5/20/23
Lecture and Discussion podcast
See videos on podcast.ucsd.edu
(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