Week 7
- Dates: 2/19/24 - 2/25/24. No class on Monday (in observance of Presidents Day).
(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