CS 476 Automata Theory and Formal Languages Spring 2026 Instructor: Ugur Dogrusoz Office, Hours: EA522, Tue, Wed AM Classroom, Hours: ??20?, Wed AM, Fri PM Main course page: CS476

Announcements

Unless otherwise stated, we do not hold the following lecture hour: Wed 8:30-9:20 Check here at least once a week for section specific announcements!

Outline

Week Dates Concepts Textbook 1 Jan 26- Introduction Ch 0 2 Feb 2- Finite Automata Ch 1 3 Feb 9- Cntd Ch 1 4 Feb 16- Regular Expressions & Languages Ch 1 5 Feb 23- Context-Free Grammars & Languages Ch 2 6 Mar 2- Cntd Ch 2 7 Mar 9- Pushdown Automata Ch 2 8 Mar 23- Turing Machines Ch 3 9 Mar 30- Cntd Ch 3 10 Apr 6- Decidability Ch 4 11 Apr 13- Decidability & Reducibility Ch 5 12 Apr 20- Complexity Theory and NP-completeness Ch 7 13 Apr 27- Cntd Ch 7 14 May 4- The Cook-Levin Theorem Ch 7