Week 7
- Dates: 2/17/25 - 2/23/25. No class on Monday February 17 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