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

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