Technion - Israel Institute of Technology  
236353 - Automata and Formal Languages
  Spring 2014 EnglishRussianHebrewArabic  
Announcements

Reminder: course schedule in the next couple of weeks
We will hold a complementary tutorial for the Sunday and Monday groups tomorrow, Wednesday, 23.4, 12:30-13:30 at Taub 7. The tutorial will cover the material of tutorial 6. The tutorial will be given by Michal.
We will hold a tutorial for all groups next Thursday, 1.5, instead of the second hour of the lecture (11:30-12:30, Taub 2), which will cover the material of tutorial 8.
All tutorials on the week of 4-8.5 are cancelled due to the memorial and independence days. (The lecture on 8.5 will be held as usual). The tutorial schedule will resume on Sunday, 11.5.
Last updated on 22/4/2014, 10:06:44  
An additional explanation of model equivalence
We have added an additional explanation of model equivalence under the 'Material\Tutorials' tab (under tutorial 4). This explanation will help you with HW2, which contains a couple of questions about model equivalence, so we recommend that you read it.
Created on 7/4/2014, 21:26:07  
Homework 2 and the next workshops
Homework 2 has been published on the website under the 'Assignments' tab. The assignment is not for submission.

We will hold two workshops that will be dedicated to HW2.
- Tuesday, 22.4.14, 14:30-16:30 at Taub 201 (Liat).
- Monday, 28.4.14, 16:30-18:30 at Taub 201 (Mor).

Good luck!
Last updated on 7/4/2014, 10:47:16  
Reception hours and updated course schedule
We have added reception hours for your convenience. Information about the reception hours is available on the course website under the 'Staff' tab.
There are a few changes in the schedule of the workshops. A revised course schedule is available under the 'Syllabus' tab.
Last updated on 7/4/2014, 10:48:17  
Complementary tutorial for the Sunday group
This is a reminder that we will hold a complementary tutorial for the Sunday group next Wednesday, 9.4.14, 12:30-13:30, in Taub 5. (This will be tutorial 5.)
Last updated on 30/3/2014, 18:45:12  
Messages from Prof. Zaks
Two messages from Prof. Zaks (a general message and a message about prerequisites) have been uploaded to the website under the "Syllabus" tab. Make sure you read them.
Created on 30/3/2014, 09:38:33  
Homework 1 and the next workshops
Homework 1 has been published on the website under the 'Assignments' tab. The assignment is not for submission.

We will hold three workshops that will be dedicated to HW1.
- Sunday, 30.3.14, 9:30-11:30 at Taub 201 (Michal).
- Sunday, 30.3.14, 16:30-18:30 at Taub 701 (Mor).
- Tuesday, 1.4.14, 14:30-16:30 at Taub 201 (Liat).

Good luck!
Created on 24/3/2014, 15:27:33  
Tentative course schedule
Due to a request of the students' Va'ad, we have uploaded a tentative schedule of the course to the website (under the 'Syllabus' tab). This schedule includes tentative dates in which the homework assignments will be published (remember that these assignments are not for submission), and in which workshops will take place. For your convenience, the schedule also includes the dates of complementary lectures and tutorials (as were published before).
Please note that this schedule is tentative and all dates are subject to change. In case these dates change, we will notify you through the website.
Last updated on 13/3/2014, 11:02:37  
A message from Prof. Zaks
A message from Prof. Zaks has been uploaded to the website under the "Syllabus" tab. Make sure you read it.
Last updated on 12/3/2014, 21:21:04  
Complementary lectures and tutorials planned for this semester
We will hold several complementary lectures and tutorials during the semester. These are needed to insure that all tutorial groups "keep up" with the lectures, since several tutorials will not take place due to holidays.
Please keep in mind that the dates and times listed below may change during the semester, but we wanted to let you know these dates so that you can plan your schedule in advance. We will inform you in case there are any changes to this planned schedule.

- Sunday, 16.3: the tutorial is cancelled due to Purim holiday.
- Wednesday, 9.4, 12:30-13:30: complementary tutorial for the Sunday group.
- There will be no tutorials on the dates 13-21.4 (including) due to Passover holiday.
- Wednesday, 23.4, 12:30-13:30: complementary tutorial for the Sunday and Monday groups.
- Thursday, 1.5: we will hold a complementary tutorial for all groups during the second hour of the lecture (there will only be one lecture hour that day).
- Sunday, 4.5, Monday, 5.5, and Tuesday, 6.5: the tutorials are cancelled due to memorial day service, memorial day and independence day holiday.
- Sunday, 18.5, 16:30-18:30: complementary lecture.
Last updated on 5/3/2014, 23:06:02  
Course information file
A file containing information about the course, including the grade structure and the dates of the quizzes, is now available on the course website under the 'Syllabus' tab.
Created on 5/3/2014, 22:50:43  
Welcome to Automata and Formal Languages
The course site in now active (https://webcourse.cs.technion.ac.il/236353). On it you can find:
- Slides for the first lectures & Tutorial.
- Material summary pages (which will be handed out to you during the exams).
- An electronic edition of the textbook of this course (the link to the electronic version appears on the list of recommended textbooks (under the 'Literature' tab)).

Note that the tutorials in the first week of the semester (Sunday 2.3, Monday 3.3, and Tuesday 5.3) are canceled. The tutorial schedule will resume as usual starting on Sunday, 9.3.

Good luck and we hope you enjoy the course,
The course staff.
Last updated on 2/3/2014, 11:53:46