Automaten und Logik

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