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

Liat's workshop is postponed
Liat's workshop, that was supposed to take place tomorrow, Monday, 27/04, is postponed to next Monday, 04./05, 15:30-17:30, in Taub 301.
Created on 26/4/2015, 10:43:18  
Schedule of the Wednesday Workshop, 29/04
The first half hour of the Wednesday workshop 29/04, will be dedicated to the model equivalence question from tutorial 4.
It is a complementary for the Monday tutorial group because of the a safety drill, but all students are welcome.
Created on 23/4/2015, 21:19:18  
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 five workshops that will be dedicated to HW2.
- Monday, 27/04/15, 15:30-17:30 at Taub 301 (Liat).
- Tuesday, 28/04/15, 11:30-13:30 at Taub 301 (Michael).
- Tuesday, 28/04/15, 16:30-18:30 at Taub 301 (Yuval).
- Wednesday, 29/04/15, 12:30-14:30 at Taub 301 (Michal).
- Thursday, 30/04/15, 14:30-16:30 at Taub 201 (Bat-Chen)

Note that the time of the Monday workshop (27/04) is not as published in the tentative course schedule.

Good luck!
Last updated on 21/4/2015, 21:38:26  
Pre-requisites for A&FL course
ביום ראשון בצהריים תתבטל ההרשמה לקורס של אותם סטודנטים אשר נרשמו לקורס, אינם עומדים בדרישות הקדם, ולא קבלו אישור הרשמה מפרופ' זקס.
מועד אחרון בהחלט להסדרת העניין יהיה ביום ראשון הקרוב, 19.4.2015, בשעה 11:00-12:30, במשרדו של פרופ' זקס ,טאוב 724 (יש להגיע למשרד המרצה בצירוף תדפיס מצטבר).
Created on 16/4/2015, 19:41:37  
Updated slides for lecture 4
The slides of lecture 4 have been updated. These are the changes from the previous version:
- A solution was added to example (2) of regular expression equivalence (slides 32-33).
- An additional explanation was added to the solution of example (1) of regular expression equivalence (slide 31).
- A typo was corrected in slide 14.
- A typo was corrected in the example on slides 18-26: the automaton is constructed for the regular expression 0*1+1*0 (and not 0*1+10* as appeared before).
- Removed a theorem (MISHPAT KLEENE).
Last updated on 16/4/2015, 14:12:24  
Mor's reception hour on 30.4 is cancelled
Mor's reception hour on 30.4 is cancelled. Instead, Mor will hold a reception hour next week on Monday, 20.4, 11:30-12:30.
Last updated on 15/4/2015, 09:36:14  
The Wednesday tutorials will be held at Ulman 301.
Due to a technical problem, all the remain tutorials on Wednesday 14:30-15:30 will be held at Ulman 301.
Created on 13/4/2015, 11:57:06  
Next tutorial for the Thursday 9:30-10:30 group.
The tutorial on Thursday, 16/04/15, 9:30-10:30 is cancelled due to Yom HaShoah.
Yuval will hold a complementary tutorial next sunday, 19/4/15, 17:30-18:30, in Taub 5. (This will be tutorial 4.)
Note that the tutorial on Thursday, 16/04/15, 12:30-13:30 is not cancelled.
Created on 12/4/2015, 13:48:23  
Reminder: Pre-requisites for A&FL course
Please notice that the course "Logic and set theory for CS" (234293) is a pre-requisite for A&FL course, and the course "Algorithms 1" (234247) should be taken not after A&FL (TSAMUD).
If you have any questions, contact Prof. Zaks (today is the last day).
The registration to A&FL course of students who didn't take (or failed) "Logic and set theory for CS", or didn't take\aren't taking "Algorithms 1", will be cancelled.
See also the CourseInformation file under the 'Syllabus' tab.
Created on 12/4/2015, 12:14:12  
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.
חג שמח
Created on 6/4/2015, 02:53:39  
An updated partial solution for tutorial 3
An updated solution for tutorial 3 is now available under the 'Material\Tutorials' tab. We only added a solution for an additional exercise.
Created on 2/4/2015, 11:42:14  
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 five workshops that will be dedicated to HW1.
- Thursday, 02/04/15, 14:30-16:30 at Taub 5 (Bat-Chen)
- Monday, 13/04/15, 14:30-16:30 at Taub 301 (Liat).
- Tuesday, 14/04/15, 11:30-13:30 at Taub 301 (Michael).
- Tuesday, 14/04/15, 16:30-18:30 at Taub 301 (Yuval).
- Wednesday, 15/04/15, 12:30-14:30 at Taub 301 (Michal).

Note that the room of the Thursday workshop (02/04) is Taub 5, and not 201 as published in the tentative course schedule.

Good luck!
Created on 31/3/2015, 23:31:21  
Room change for the tutorial tomorrow, Wednesday 01/04
Due to a technical problem, the the tutorial tomorrow, Wednesday 01/04 , will be held at Taub 401.
Created on 31/3/2015, 14:44:46  
An updated partial solution for tutorial 1, 3rd exercise.
An updated solution for tutorial 1 is now available under the 'Material\Tutorials' tab. The update is only adds highlights for the 3rd exercise.
Last updated on 2/4/2015, 11:42:56  
Room change for the Wednesday tutorial
The tutorials on Wednesday 14:30-15:30 will be held at Taub 201.
Created on 23/3/2015, 11:35:02  
Mor's reception hour next week (26.3) is cancelled
Mor's reception hour next week (26.3) is cancelled. Instead, Mor will hold an additional reception hour on Thursday, 2.4.15. 16:30-17:30
Last updated on 15/4/2015, 09:36:24  
Welcome to Automata and Formal Languages
The course site in now active (https://webcourse.cs.technion.ac.il/236353).

On it you can find:
- An electronic edition of the textbook of this course
(a link to it appears on the list of recommended textbooks, under the 'Literature' tab).
-A file containing information about the course,
including the grade structure and the dates of the quizzes (under the 'Syllabus' tab).
-A tentative course schedule (under the 'syllabus'' tab). Please note that the schedule may change during the semester.

Good luck and we hope you enjoy the course,
The course staff.
Last updated on 14/3/2015, 21:09:06