This is the home page for CS4410 - Automata Theory, Computability, and Formal Languages, Spring, 2018. Various things may be added here as the semester progresses, so be sure to check back . . .

• Course syllabus
  
  
• Homework (will be updated as appropriate . . .)
  
  
• CS Homework Page
  
  
• Computation.pdf -- lecture notes . . . (will be updated as appropriate . . .)
  
  
• Some notes on solving linear recurrence relations:
  http://nms.lu.lv/wp-content/uploads/2016/04/21-linear-recurrences.pdf