Section outline

  • Content: Detailed description of course content and prerequisites can be found here.

    Textbook: The adopted textbook is Introduction to Automata Theory, Languages and Computation (3rd Edition) by John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman, Pearson New International Edition, 2018.

    Additional resources: As a complement to the textbook, the course also uses a collection of exercises with solutions, and two electronic forums for discussion of technical and administrative information. You can also access video recordings of the lectures from some past year at this link.

    Logistics: Lectures are on Wednesday 10:30-12:00 (room Ae), Thursday 08:30-10:00 (room Ae), and Friday 08:30-10:00 (room Ae).

    Office hours: Thursday 14:30-15:30, email appointment required. Meetings can be in person or else on-line at this Zoom link.

    • Announcements Forum

      Forum for general news and announcements. Only the lecturer can post in this forum. Subscription to this forum is automatic for every student who has registered to this course.

    • Class Forum

      Forum for discussion of technical matter presented during the lectures. Any student with a unipd account can post in this forum. Subscription to this forum is automatic for every student who has registered to this course.

    • Exercise collection File

      Collection of exercises with solutions, to be used to complement the textbook .