Advanced Automata Theory (CS5236)

Lecturer
The lecturer is Frank Stephan from the Departments of Mathematics and Computer Science of the National University of Singapore.

Frank Stephan's addresses are:

  (1) Department of Mathematics, National University of Singapore
      10 Lower Kent Ridge Road, Block S17, Singapore 119076
      Office: S17#07-04, Telephone +65-6516-2759

  (2) School of Computing, National University of Singpore
      13 Computing Drive, Block COM2, Singapore 117417
      Office: COM2#03-11, Telephone +65-6516-4246

Note that currently, due to Covid 2019, the lecturer mostly works from home;
therefore use the following email address as the preferred way of contact:
fstephan@comp.nus.edu.sg

Lecture Notes
The lecture notes are still slightly revised. The current version is made available as a ps-file, pdf-file from pdflatex, pdf-file through ps and latex-file. It covers all topics of the lecture, but is slightly more comprehensive. There are still typing errors which will be corrected and some material not covered by the lecture might be added. Furthermore, as there are thirteen weeks of teaching this year, one more chapter for that week will be added; most likely in the second half of the semester.

Time and Place
Tuesday from 18:30 hrs to 20:30 hrs via Zoom,
Tutorial Tuesday from 20:30 hrs to 21:30 hrs via Zoom.

Tutorial
The tutorial is voluntary, but it is useful to get a better understanding of the material presented. It will provide further examples and also the solutions to selected exercises.

Assessment
There will be one midterm examination (30 marks) on Tuesday 29 September 2020 (Week 7 after recess week) in place of the lecture; please log in latest by 18:30 hrs for the checking of identity cards through Zoom; the test will start at 19:00 hrs and last for 1 hour.

Homeworks follow these regulations:

Create an empty post with the heading "Homework X.Y" having the homework number X.Y from the slides in the discussion forum; reserve at most one homework per week;
Edit and write / Upload as attachment the reserved homework into the post within two weeks or delete the post;
For presentation in the tutorial: Join the tutorial Zoom session and share the screen on Zoom with the homework when explaining it; note that Zoom allows to share any window open on the computer and one can load the homework from the discussion forum into the browser and share it and scroll the window while explaining.

Students can ask the lecturer or classmates for help if they have questions; however, they should do the writing themselves and also try to get the homework out by themselves. Each correct homework counts 1 mark and the maximum marks for assignments is 10 marks.
The final examination counts 60 marks. It is on Wednesday 2 December 2020 from 13:00 to 15:00 hrs Singapore time and is carried out by Zoom. More details can be found in Luminus.

Past Examinations
The solutions of the final examination of 2016 are available as ps-file and pdf-file.
The solutions of the midterm examination of 2018 are available as ps-file and pdf-file.
The solutions of the final examination of 2018 are available as ps-file and pdf-file.
The solutions of the midterm examination in 2020 are available as ps-file and pdf-file.
The solutions of the final examination of 2020 are available as ps-file and pdf-file.

Slides and Homework
The slides follow in general the lecture notes and are not so comprehensive. Each week, students can select one homework as marked in the slides and reserve it for writing up in the forum; note that the description of the same homework in the lecture notes might be more comprehensive, therefore please consult the lecture notes as well before doing the homework. The slides below will be reviewed and adjusted to the new date; furthermore, one week of slides will be added; the new slides will have this year's date.
Tuesday 11 August 2020: Chapter 1 ps-file, pdf-file.
Tuesday 18 August 2020: Chapter 2 ps-file, pdf-file.
Tuesday 25 August 2020: Chapter 3 ps-file, pdf-file.
Tuesday 1 September 2020: Chapter 4 ps-file, pdf-file.
Tuesday 8 September 2020: Chapter 5 ps-file, pdf-file.
Tuesday 15 September 2020: Chapter 6 ps-file, pdf-file.
Tuesday 29 September 2020: Midterm Test. Log into Zoom at 18:30 hrs. Test is from 19:00 hrs to 20:00 hrs. Do the Mock Exam of SoC prior to it. Revise the lecture material and also train handling pdf-files.
Tuesday 06 October 2020: Chapter 7 ps-file, pdf-file.
Tuesday 13 October 2020: Chapter 8 ps-file, pdf-file.
Tuesday 20 October 2020: Chapter 9 ps-file, pdf-file.
Tuesday 27 October 2020: Chapter 10 ps-file, pdf-file.
Tuesday 03 November 2020: Chapter 11 ps-file, pdf-file.
Tuesday 10 November 2020: Chapter 12 ps-file, pdf-file.

Tuesday 10 November 2020: Chapter 12 ps-file, pdf-file.

Full Automata Theory Manuscript (Combination of CS4232 and CS5236): ps-file, pdf-file through ps, pdf-file by pdflatex.