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

Moed B first page published on course website
The first page of Moed B, with the instructions for the exam, is available on the course website under the Material\Additional material tab. We highly recommend that you read the instructions before coming to the exam.
Created on 26/2/2015, 13:05:53  
Moed B exam
The Moed B exam will take place on Friday, March 6th, 9:00 - 12:00, Taub 3-6 (Taub 4 is for students with time extensions).
The exam is with "closed material", and no 'dapei-ezer' will be handed out.

Reception hours before the exam:
- Michal: Wednesday, February 25th, 10:00 - 12:00.
- Prof. Kaminski: Thursday, February 26th, 10:30-11:30, Taub 701.
- Michael: Sunday, March 1st, 10:30 - 12:30.
- Mor: Monday, March 2nd, 16:00 - 18:00.
- Gadi: Tuesday, March 3rd, 15:30-17:30.
Last updated on 19/2/2015, 22:36:30  
Moed A common mistakes file
A file containing common mistakes that were made in Moed A has been uploaded to the website under the Material\Additional Material tab. We highly recommend that you read it.
Last updated on 16/2/2015, 17:26:59  
Moed A and final grades
Moed A and final grades have been published, exam scans are already available online.
A factor of 7 points was given to the exam grade (you can see the grade after the factor in column MoedA_Factor). Your final grade was calculated according to your exam grade (after the factor), and your MAGEN grade.

Regarding appeals:
- Appeals may be submitted until Monday, 23.2.15. 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 send an appeal it should not include the first page of the appeal form.
Appeals, together with exam scans, should be emailed to Mor.

- 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 23.2.15. Appeals will not be returned before this date.
Created on 16/2/2015, 13:46:10  
Reception hours for Moed A exam
- Prof. Kaminski: Thursday, January 29th, 10:30-11:30, Taub 701.
- Gadi: Sunday, February 1st, 15:00 - 17:00 (during the first hour, Gadi will review the last hour of the last lecture).
- Michal: Tuesday, February 3rd, 10:00 - 12:00.
- Mor: Tuesday, February 3rd, 16:00 - 18:00.
- Michael: Wednesday, February 4th, 13:00-15:00.
Created on 27/1/2015, 17:34:30  
Lecture 3 slides updated
Slide 23 in lecture 3 has been revised, The updated version is avialable on the course website.
Last updated on 4/2/2015, 11:23:36  
Moed A exam
The Moed A exam will take place on Thursday, February 5th, 13:00 - 16:00, Ulman 202, 203, 205, 303, 304, 306, 311.
The exam is with "closed material", and no 'dapei-ezer' will be handed out.

The first page of Moed A, with the instructions for the exam, is available on the course website under the Material\Additional material tab. We highly recommend that you read the instructions before coming to the exam.

Prof. Kaminski will hold a reception hour on Thursday, January 29th, 10:30-11:30 at Taub 701. Additional reception hours will be given next week.
Created on 25/1/2015, 14:07:45  
Updated lecture slides
The lecture slides have been updated, the new versions are available on the course website under the 'Course Material\Lectures' tab.
Last updated on 25/1/2015, 09:58:17  
Homework 6
HW6 has been published on the course website. It covers various topics discussed during the semester, and is meant to help you study for the exam.
Created on 22/1/2015, 22:08:30  
Room change for the Sunday 14:30-15:30 tutorial
The tutorial on Sunday, 18.1.15, 14:30-15:30, will be held at Taub 7.
Last updated on 13/1/2015, 12:00:30  
Complementary lecture for the Sunday lecture group
Next Sunday, 18.1.15, Gadi will give a 3-hour lecture, between 14:30-17:30 (the 2 regular hours, and an additional hour). The lecture will be held in Taub 9 (all 3 hours).
Created on 13/1/2015, 11:59:11  
Common mistakes file for Quiz 2
A file containing common mistakes that were made in Quiz 2 is available under the 'Material\Additional Material' tab. Make sure you read this file and understand it.
Last updated on 11/1/2015, 10:34:19  
Quiz 2 grades
Quiz 2 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 Sunday, 18.1.15. 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 Mor.
- 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 18.1.15. Appeals will not be returned before this date.
Created on 7/1/2015, 16:09:29  
Homework 5 and the next workshops
Homework 5 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 HW5.
- Monday, 12.1.15, 12:30-14:30 at Taub 201 (Michael).
- Tuesday, 13.1.15, 13:30-15:30 at Taub 201 (Michal).
- Wednesday, 14.1.15, 16:30-18:30 at Taub 201 (Mor).

Good luck!
Created on 6/1/2015, 14:58:16  
Moed Miluim for Quiz 2
If you are entitled to Moed B of quiz 2 (due to reserve duty service only), and wish to attend Moed B of quiz 2, contact Mor (with the relevant paperwork) until Tuesday, 6.1.15. The Moed B quiz will take place on the week of 11-15.1.15.
Created on 30/12/2014, 23:39:34  
Partial solution of Tutorial 10 updated
We have updated the partial solution of Tutorial 10. The change is in the second exercise, in the proof that L(G) is contained in L. In the induction step, the case that the first rule that was applied was S->Sb now also describes the case that x=epsilon.
Created on 29/12/2014, 10:48:21  
The material for next week's lectures
The lectures next week (Sunday, 28.12.14, and Thursday, 1.1.15) will cover the topic of pushdown automata (lecture 11). You will discuss simplification and normal forms of context-free grammars (lecture 10) in the following lectures (Sunday, 4.1.15, and Thursday, 8.1.15).
Last updated on 21/12/2014, 17:03:50  
Quiz 2
Quiz 2 will take place on Tuesday, 30.12.14, 17:30-19:15, in Ulman building rooms 500-506 (room 502 is for students with time extensions).
The quiz will be worth 15% (MAGEN) of your final grade.
The quiz will consist of questions from HWs 3 and 4. It will also include questions about topics discussed in the lectures, from the pumping lemma and closure properties of regular languages (lecture 5) and up to (including) regular grammars (lecture 8).
You can find the first page of the quiz on the website (under the Materials\Additional Materials tab). We suggest that you read it before you come to the quiz.

Reception hours before the quiz:
- Thursday, 25.12.14, 12:30-13:30 (Michal).
- Sunday, 28.12.14, 13:20-14:20 (Mor).
- Monday, 29.12.14, 12:30-13:30 (Michael).

We wish you all good luck on the quiz!
Created on 21/12/2014, 16:57:31  
Typo corrected in HW4
There was a typo in Q2(b) of HW4: the language is {a^ncb^n:n is in N}, and not {a^n$b^n: n is in N}. An updated version has been uploaded to the course website.
Created on 16/12/2014, 17:07:50  
Tutorial 8 has been updated
We have uploaded an updated version of tutorial 8, which includes a slide with the construction of the deterministic finite automaton for the relation R_L of example 1.
Created on 14/12/2014, 22:19:22  
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 three workshops that will be dedicated to HW4.
- Monday, 22.12.14, 12:30-14:30 at Taub 201 (Michael).
- Tuesday, 23.12.14, 13:30-15:30 at Taub 201 (Michal).
- Wednesday, 24.12.14, 16:30-18:30 at Taub 201 (Mor).

We note that HW 4 is shorter than usual, and you should have enough time to work on it even if you don't work on it this week. We decided to publish HW4 this week, so you can start working on it if you want to.

Good luck!
Last updated on 15/12/2014, 11:39: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.
There were many mistakes for which points were not deducted this time (but will be in the next quiz and the final exam), so make sure you read this file and understand it.
Created on 9/12/2014, 22:58:54  
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 Thursday, 18.12.14. 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 Mor.
- 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 18.12.14. Appeals will not be returned before this date.

Regarding Moed Miluim:
If you are entitled to Moed B of quiz 1 (due to reserve duty service only), and wish to attend Moed B of quiz 1, contact Mor (with the relevant paperwork) until Tuesday, 23.12.14. The Moed B quiz will take place after quiz 2.
Created on 9/12/2014, 22:03:07  
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 three workshops that will be dedicated to HW3.
- Sunday, 7.12.14, 16:30-18:30 at Taub 601 (Mor).
- Monday, 8.12.14, 12:30-14:30 at Taub 201 (Michael).
- Tuesday, 9.12.14, 13:30-15:30 at Taub 201 (Michal).

Good luck!
Created on 2/12/2014, 10:01:24  
A partial solution for tutorial 6 is now available on the website under the 'Material\Tutorials' tab
The solution contains a proof for the claim on the last slide of Tutorial 6.
Last updated on 30/11/2014, 19:27:11  
Material for the final exam and summary pages
The material for the final exam will include everything that will be taught during the lectures and tutorials, including material that was written on the board and does not appear on the slides.
In addition, please notice that starting this semester you will not be given summary pages during the exam.
Last updated on 23/11/2014, 16:50:21  
HW2 updated
We have uploaded an updated version of HW2 to the website. The change is only in the instructions of Q1.
Last updated on 23/11/2014, 13:53:51  
Quiz 1
Quiz 1 will take place on Monday, 1.12.14, 17:30-19:15, in Ulman 601-606 (Ulman 604 is 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:
- Michal: Wednesday, 26.11, 13:30-14:30.
- Mor: Thursday, 27.11, 12:30-13:30.
- Michael: Sunday, 30.11, 13:30-14:30.

Good luck!
Last updated on 23/11/2014, 13:49:20  
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 three workshops that will be dedicated to HW2.
- Sunday, 23.11.14, 9:00-11:00 at Taub 201 (Mor).
- Monday, 24.11.14, 12:30-14:30 at Taub 201 (Michael).
- Tuesday, 25.11.14, 13:30-15:30 at Taub 201 (Michal).

Good luck!
Created on 16/11/2014, 20:33:38  
A partial solution for tutorial 3 is now available on the website under the 'Material\Tutorials' tab
Created on 9/11/2014, 15:45:30  
Mor's workshop on Sunday, 9.11.14, will take place between 16:30-18:30
Created on 7/11/2014, 16:36:50  
Room change for the Sunday 11:30-12:30 tutorial
The Sunday, 11:30-12:30 tutorial will move to Taub 6, starting next week (Sunday, 9.11).
Created on 4/11/2014, 11:44:07  
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, 9.11.14, 16:30-18:30 at Taub 601 (Mor).
- Monday, 10.11.14, 12:30-14:30 at Taub 201 (Michael).
- Tuesday, 11.11.14, 13:30-15:30 at Taub 201 (Michal).

Good luck!
Last updated on 7/11/2014, 16:36:13  
Stuendts who are entitled for SHIATUK
If you are entitled for SHIATUK, you should come to the quizzes and exams with the person who will do the SHIATUK for you.
Created on 26/10/2014, 16:05:56  
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).
Therefore, 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.
If you have any questions, contact Prof. Kaminski directly (but not via email).
Created on 26/10/2014, 16:04:10  
Course schedule published, room change for the Sunday tutorial, and an updated partial solution for tutorial 1
A tentative course schedule is now available under the 'syllabus'' tab. The course schedule contains the dates of the quizzes, the tentative dates on which the homework assignments will be published, and the tentative dates of the workshops. Please note that the schedule may change during the semester.

The Sunday, 14:30-15:30 tutorial is permanently moved to Taub 9.

An updated solution for tutorial 1 is now available under the 'Material\Tutorials' tab. The update is only to the 3rd exercise.
Last updated on 22/10/2014, 20:40:04  
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.
- 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)).

As the semester starts on Monday, 20.10, there will be no tutorials on Sunday, 19.10.

Good luck and we hope you enjoy the course,
The course staff.
Last updated on 11/10/2014, 18:28:01