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

Lecture slides for this week's lecture (28.5)
In this week's lecture we will use the slides of lectures 8-10, so if you bring slide printouts to the lecture, make sure to bring the slides of all 3 lectures.
Created on 26/5/2015, 17:27:56  
Homework 4 and the next workshops
Homework 4 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 HW4.
- Thursday, 28/05/15, 14:30-16:30 at Taub 201 (Bat-Chen)
- Monday, 01/06/15, 16:30-18:30 at Taub 301 (Liat).
- Tuesday, 02/06/15, 11:30-13:30 at Taub 301 (Michael).
- Tuesday, 02/06/15, 16:30-18:30 at Taub 301 (Yuval).
- Wednesday, 03/06/15, 12:30-14:30 at Taub 301 (Michal).

Note that the time of the Monday workshop (01/06) was changed to be 16:30-18:30.
Created on 25/5/2015, 21:40:38  
An important note regarding Quiz1
If your answer for question 4 contains an example of a finite language,
and you have a remark that it is a finite language and therefore regular
(you wrote that it regular, but did not explained why),
please email Michal until Thursday, 28/05,
containing your ID and the page number of your answer in the exam scan.
The subject of the mail should be: appeal q4,
and your exam scan should be attached.
Before the appeal, please make sure your answer fulfills all conditions above.
Last updated on 25/5/2015, 23:28:45  
The complementary lecture on 31.5 will be held at Taub 1, the complementary tutorial (for the Monday group) on 7.6 will be held at Taub 5
Created on 25/5/2015, 13:37:10  
Complementary lecture next week, and change of date for the Monday group's complementary tutorial
A complementary lecture will be held next Sunday, 31.5, 16:30-17:30, at Taub 1. During the lecture you will see some proofs of the theorems, and examples, which were presented in the context of regular grammars (in the lecture of 21.5), and in the context of context-free grammars (which will be discussed in the lecture of 28.5). The lecture will not cover any new material, and is meant to help you better understand the new material of grammars.

The complementary tutorial for the Monday group will take place on Sunday, 7.6, 16:30-17:30 at Taub 5 (instead of the tutorial that was planned for 31.5). The tutorial will cover the topic of tutorial 10 (context-free grammars).

The classes for the complementary lecture and tutorial will be announced soon.
Last updated on 25/5/2015, 13:38:02  
Following your requests, the lectures will move back to Taub 1, starting this Thursday, 21.5
Created on 19/5/2015, 10:35:58  
Lecture 7 slides updated + Note added
The slides of lecture 7 have been updated. typos were corrected:
- slide 4: the 3rd example was changed. See also the comments file added to lecture 7.
- slide 7: the definitions of S_3 and S_4 were corrected.
- slide 9: xz,yx are not contained in the empty set (and not in Sigma*)
Last updated on 18/5/2015, 13:26:56  
Reminder: the lecture tomorrow, 18.5, will take place in Taub 7
Created on 17/5/2015, 13:54:27  
Common mistakes file for quiz 1
A file containing common mistakes that were made in Quiz 1 is available under the 'Material\Additional Material' tab.
Make sure you read this file and understand it.
Created on 17/5/2015, 11:57:18  
Change date of the complementary tutorial for the Monday group
The complementary tutorial for the Monday group will be held on Sunday 31/05 at Taub 5 (and not 24/05-Shavuot as announced before).
This tutorial will cover the material of tutorial 9.
The tentative course schedule was updated according to this change.
Created on 17/5/2015, 09:23:03  
A message from Prof. Zaks
A message from Prof. Zaks has been uploaded to the website under the "Syllabus" tab.
http://webcourse.cs.technion.ac.il/236353/Spring2015/comp/WCFiles/automata-moreCommentsFromProfZaks.pdf
It is highly recommended to read it.
Last updated on 16/5/2015, 22:45:57  
Quiz 1 Grades
Quiz 1 has been graded and the grades are available online. Scans will be available in the next few days.

Regarding appeals:
- Appeals may be submitted until Monday, 25/05. No appeals will be accepted after this date.
To submit an appeal, read the instructions & fill the Appeal Form (on the course website, under the Material\Additional Material tab). Read all the instructions carefully and follow all of them. In particular, when you submit an appeal it should not include the first page of the appeal form. Email your appeal, together with your exam scan, to Michal.
- You should appeal only in cases when you think a correct answer was marked as a mistake. Do not appeal the AMOUNT of points deducted for a mistake.
- All appeals will be checked and returned after 25/05. Appeals will not be returned before this date.
Last updated on 14/5/2015, 22:44:41  
Course schedule in the upcoming weeks
Due to the Student's day (Yom Hastudent), the lecture and the tutorials on Thursday 14/05 are cancelled.
Monday 18/05 runs on a Thursday schedule, so the Monday tutorial is cancelled and the lecture and the Thursday tutorials will be held on that date.
The lecture on Monday 18/05 will be held at Taub 7.
The lecture and all the other tutorials during the week of 17/05-21/05 will be held as usual (including the lecture and tutorials on Thursday tutorials on 21/05).
Bat-chen will hold a complementary tutorial for the Monday tutorial group on Sunday, 24/05, 16:30-17:30 in Taub 5. The tutorial will cover the material of tutorial 8.
Last updated on 13/5/2015, 11:36:05  
Change date of the wednesday and thursday workshops for hw3.
The wednesday and thursday workshops will be held at
Wednesday 20/05/15 and Thursday 21/05/15 (and not at 13-14/05 as announced before)
Created on 10/5/2015, 12:00:58  
Homework 3 and the next workshops
Homework 3 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 HW3.
- Monday, 11/05/15, 15:30-17:30 at Taub 301 (Liat).
- Tuesday, 12/05/15, 16:30-18:30 at Taub 301 (Yuval).
- Tuesday, 19/05/15, 11:30-13:30 at Taub 301 (Michael).
- Wednesday, 20/05/15, 12:30-14:30 at Taub 301 (Michal).
- Thursday, 21/05/15, 14:30-16:30 at Taub 201 (Bat-Chen)


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

Good luck!
Last updated on 10/5/2015, 12:01:56  
Updated slides for lectures 5 and 6
The slides of lecture 5 and 6 have been updated. Typos were corrected, and several of the examples that appeared in the slides were replaced with the examples that you saw in class today.
Created on 7/5/2015, 14:16:28  
Quiz 1 - time is changed.
Due to many requests (because of the Programming Language lecture),
Quiz 1 will take place at 18:30-20:30 on Wednesday, 06/05/15 (same date).
Last updated on 4/5/2015, 10:05:28  
The Wednesday tutorials will be held at Taub 4.
All the remain tutorials on Wednesday 14:30-15:30 will be held at Taub 4.
I hope it will be the last change...
Created on 27/4/2015, 15:27:57  
A clarification regarding HW 2
A note was added to HW2 question 1ד.
Created on 26/4/2015, 23:22:41  
A change in Michal's reception hour on Monday
Michal's reception hour on Monday, 04/06, is moved to 10:30-11:30 (instead of 11:30-12:30).
Last updated on 26/4/2015, 13:30:18  
Quiz 1
Quiz 1 will take place on Wednesday, 06/05/15, 18:30-20:30, in Ulman 305-307, 309-311, and Ulman 202-203 are for students with time extensions.
The quiz is worth 15% (MAGEN) of your final grade.
The quiz will consist of questions from HWs 1 and 2, and questions about topics discussed in the lectures, up to (including) regular expressions.
You can find the front page of the quiz on the course website under the 'Material\Additional material' tab. We highly recommend that you read if before coming to the quiz.

Reception hours before the quiz:
- Michael: Sunday, 03/05/15, 11:30-12:30,
- Michal: Monday, 04/05/15, 10:30-11:30,
- Yuval: Tuesday, 05/05/15, 11:30-12:30
Last updated on 3/5/2015, 19:40:34  
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