Automata and Logic

Check this site regularly for announcements; visit the content page to access the slides and homework exercises.