Moed C Requests | |
If you are eligible for Moed C exam (due to reserve duty service), and would like to attend, email Prof. Zaks with your request and proper paperwork by Sunday, 28.4.13. The date of Moed C will be coordinated with all eligible students. |
21/4/2013, 23:24:22 |
Moed B and final grades | |
Quiz 2 and 3 were graded and the grades are available online. The following factor was given to both quizzes: (quiz grade + 5)*1.1 (you can see the grade after the factor in columns Quiz2MoedB_Factor and Quiz3MoedB_Factor). The Moed B grade was calculated in the same way as Moed A: Quiz 1 (after the factor) was 25% MAGEN, Quiz 2 (after factor) was 35% TAKEF, and Quiz 3 (after factor) was 40% TAKEF. Your Moed B grade appears in the column FinalB. The exam scans will be available soon. The scans DO NOT include comments for questions 3c and 4a. The comments for these questions are available in the mailroom on the entrance floor (next to the secretariat). Look for a page with your id number, in the cell whose number is the last 2 digits of your id number. A comment regarding the grading of questions 3c: Many of you lost points because of the following: 1. Definition of F: you had to explain that this is consistent since the relation RL refines L. without this explanation the definition mat be wrong! you lost 2 points because of this mistake (and maybe more, if there was an additional mistake). 2. Definition of delta: you had to explain that the definition does not depend of the choice of representatives. That is, if [x]=[y] then delta([x],sigma) =delta([y], sigma). This is true since RL is right invariant. Without this explanation the definition may be wrong! you lost 3 points because of this mistake (and maybe more, if there was an additional mistake) Regarding appeals: - Appeals may be submitted until Saturday, 20.4.13. 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. Then, email your appeal, together with you 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 22.4.13. Appeals will not be returned before this date. |
10/4/2013, 10:09:49 |
Final Moed B grades will be posted on the website in the next few days | |
The Final grades of Moeb B will be posted on the course website by the end of the week, or early next week. The delay is due to Passover holiday and the fact that Prof. Zaks is on sabbatical abroad. |
9/4/2013, 08:40:20 |
Reminder: Moed B on Sunday, 24.3 starts at 8:30 | |
We would like to remind you that the Moed B on Sunday, 24.3.13 starts at 8:30. Make sure you arrive on time - students arriving late will not be allowed to take the test. Classrooms for Moed B: Ulman 201: for students who are only taking Quiz 2. Ulman 202: for students who are only taking Quiz 3. Ulman 203: for students who are taking both Quiz 2 and Quiz 3. Students who have time extensions should sit in Ulman 201, 202 or 203 (and not in Ulman 105), according to the quiz they wish to take. |
21/3/2013, 09:15:35 |
Moed B time, location and structure | |
Moed B will take place on Sunday, 24.3.13 (next week), in Ulman 201-203. Moed B will begin at 8:30. Notice that Moed B will start a half-hour earlier than usual!
</u> Make sure you arrive on time - students arriving late will not be allowed to take the test. If you are only taking Quiz 2, then you will be seated in Ulman 201. If you are only taking Quiz 3, then you will be seated in Ulman 202. If you are taking both Quiz 2 and Quiz 3, then you will be seated in Ulman 203. All classrooms will be given the same exam form, with questions both for Quiz 2 and Quiz 3. If you are only taking Quiz 2 or Quiz 3, then you will be given two hours and 15 minutes in total (which means the quiz will be 8:30-10:45). If you are taking both Quiz 2 and Quiz 3, then you will be given three hours and 15 minutes in total (which means the quiz will be 8:30-11:45). You can find the first page of Moed B on the course website under the Material\Additional Materials tab. We highly recommend that you read it before you come to the exam. You can also find a common mistakes file for Quiz 3 (Moed A) on the course website under the Material\Additional Materials tab. |
17/3/2013, 14:01:49 |
A change in Liat's reception hour | |
Liat's reception hour before Moed B is moved to Thursday, 16:30 (this is instead of the hour on Tuesday). |
17/3/2013, 13:44:23 |
Material for Moed B Quizzes and reception hours | |
The Moed B Quizzes will take place on Sunday, March 24th (more details will be published in the next few days). Both quizs are with "closed material". During the quizzes you will be given 'dapei-ezer' with a summary of the course material. You can find these summary pages on the course website under the Material\Additional Materials Tab. The material for Quiz 2 Moed B is the same as the material of Quiz 2 Moed A: Non-deterministic finite automaton (with and without epsilon transitions), regular expressions, the pumping lemma for regular languages, closure properties for regular languages and Nerode's theorem. The relevant chapters in the book are 3.1, 3.2, 3.3 (only the algorithm, without the proof), 3.4, 3.5 (not including 3.5.2 and 3.5.3), chapter 4, and chapter 5. The material for Quiz 3 Moed B includes all the material taught during the semester, starting from chapter 5. Notice that chapter 5 is included in the material of both quizzes. Reception hours before Moed B: Ariella: - Sunday, March 17th, 10:00 - 11:00. Liat: - Tuesday, March 19th, 14:30 - 15:30. Mor: - Wednesday, March 20th, 16:00 - 18:00. We wish you all good luck on the quizzes! |
13/3/2013, 18:30:03 |
A correction to the calculation of the factor in quiz 3 and the final grades | |
There has been a mistake in the calculation of the factor in quiz 3, and of the final grades (thanks to the students who pointed this out to us). The corrected grades are now available online. Your corrected grade may either be higher or lower than what has been published before. The grades are calculated as we have published before: Quiz 3 grade: a factor of x -> (x+5)*1.1. Final grade: quiz 1 (after factor) is 25% MAGEN, quiz 2 is 35% TAKEF, and quiz 3 (after factor) is 40% TAKEF. |
28/1/2013, 19:04:10 |
Final grades | |
The final grades are available online under the "FinalA" column. |
28/1/2013, 13:26:57 |
Quiz3 grades | |
Quiz 3 has been graded and returned to the Secretariat. Grades are available online. The following factor was given: five points were added to the quiz grade, and then an additional 10% were given (grade after factor = (quiz grade + 5 points) * 1.10). This is the grade in column Quiz3_Factor. The final grades will be published in the next few days. Regarding Appeals: - Appeals may be submitted until Monday, 4.2.13. 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. Then, email your appeal, together with you 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 5.2.13. Appeals will not be returned before this date. |
27/1/2013, 12:30:46 |
Clarrification regarding the material for Quiz 3 & correction to the duration of Quiz 3 | |
A clarification regarding the material for Quiz 3 has been posted on the course website (under Syllabus\MaterialForQuiz3-Clarification). Also, the duration of the quiz will be 2 hours and 40 minutes: the quiz will take place on Sunday, 20.1.13, 16:30-19:10 (and not as posted before). |
17/1/2013, 14:39:32 |
Quiz 3 front page | |
You can find the first page of Quiz 3 (containing the instructions for the quiz) under the Material\Additional material tab. We recommend you read it before the quiz because the instructions have been modified since quiz 2. |
15/1/2013, 10:23:21 |
Homework 5 returned | |
Homework 5 was partially checked and returned to the secretariat. A file containing common mistakes that were made is on the course website under the "Assignments" tab. |
14/1/2013, 17:55:48 |
Quiz 3 | |
Quiz 3 will take place on Sunday, 20.1.13, 16:30-18:45, in Ulman 501, 502, 601, 602, 604-606. The quiz is with "closed material". During the quiz you will be given 'dapei-ezer' with a summary of the course material. You can find these summary pages on the course website under the Material\Additional Materials Tab. The quiz will cover the material taught in lectures 9-12 (up to the lecture of last week, 10.1), tutorials 8-12 and Homeworks 5 & 6: Nerode's theorem, regular and context-free grammars, pushdown automaton, closure properties of regular and context-free languages, and the pumping lemma for context free languages. The relevant chapters in the book are: 5 (Nerode's theorem), 6, 7 (concerning simplification of grammars, you only need to know the theorems and not their proofs), 8 (except the algorithm from a pushdown automaton to a context-free grammar), 9 (pumping lemma for context-free languages; regarding closure properties of context-free languages, only in the level of what you saw in the lectures, tutorials & homeworks). The quiz will be worth 40% (TAKEF) of your final grade. The material taught during the lecture and tutorial on 17.1, and during the lecture on 24.1, is not included in the material for the quiz, but the methods and subjects we'll discuss are relevant also for quiz 3. The material taught during these lectures and tutorial will be included in the material of Quiz 3 Moed B. Good luck! |
14/1/2013, 14:13:28 |
A message from Prof. Zaks | |
A file containing an important message from Prof. Zaks has been added under the Syllabus tab (named "Message from Prof. Zaks 130113"). |
13/1/2013, 09:44:45 |
Homework 6 has been published on the website under the 'Assignments' tab. Homework 6 is not for submission. We will hold three workshops which will be dedicated to HW6. - Sunday, 13.1.13, 16:30-18:30 at Taub 201 (Mor). - Monday, 14.1.13, 12:30-14:30 at Taub 601 (Ariella). - Wednesday, 16.1.13, 16:30-18:30 at Taub 201 (Liat). Good luck! |
8/1/2013, 13:42:50 |
The complementary tutorial on 17.1.13 | |
Due to your requests, the complementary tutorial on 17.1.13 will be held during the second hour of the lecture (11:30-12:30), and there will be no tutorial afterwards. |
3/1/2013, 23:29:13 |
Course schedule during the last week of the semester & A message from Prof. Zaks | |
There will be no tutorials during the last week of the semester (starting from 20.1.13). We will hold a complementary tutorial for tutorial number 13, for all groups, on Thursday, 17.1.13, 12:30-13:30 (right after the lecture). This tutorial is instead of Liat's regular Thursday group. The lecture on 24.1.13 will be held as usual. A message from Prof. Zaks regarding the material for Quiz 3 and the Moed B quizzes is now available on under the "Syllabus" tab. |
31/12/2012, 19:53:09 |
Quiz 2 common mistakes file | |
A file containing common mistakes that were made in Quiz 2 is now available on the course website under the Material\Additional Material tab. |
31/12/2012, 10:13:56 |
Quiz 2 grades | |
Quiz 2 has been graded and will be returned to the Secretariat on Sunday. Grades are available online. Regarding Appeals: - Appeals may be submitted until Monday, 7.1.13. 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, available both in docx or doc formats), and email it, together with you 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 7.1.13. |
27/12/2012, 17:04:50 |
Homework 4 returned | |
Homework 4 was partially checked and returned to the secretariat. A file containing common mistakes that were made is on the course website under the "Assignments" tab. |
27/12/2012, 14:04:30 |
Homework 5 has been published on the website under the 'Assignments' tab. Submission is optional, and submitted assignments will be partially checked. Assignments may be submitted individually to the course mailbox on the first floor, until Tuesday, 8.1.13, 14:30. We will hold three workshops which will be dedicated to HW5. - Sunday, 30.12.12, 16:30-18:30 at Taub 201 (Mor). - Monday, 31.12.12, 12:30-14:30 at Taub 601 (Ariella). - Wednesday, 2.1.12, 16:30-18:30 at Taub 201 (Liat). Good luck! |
25/12/2012, 13:53:02 |
The lectures in the upcoming weeks | |
The lecture of last week (20.12.12) and the lecture of this week (27.12.12) will cover chapter 6 of the course textbook (in the lecture slides: lectures 9-10). We will also discuss chapter 7 of the course textbook (in the lecture slides: lecture 11). Next week's lecture will be on chapter 8 in the course textbook (in the lecture slides: lectures 12-13). We might start chapter 8 during this week's lecture, so if you use the lecture slides, be sure to bring the slides of lectures 12-13 to this week's lecture as well. |
24/12/2012, 15:46:19 |
A clarification regarding how the final grades in the course will be calculated | |
You can find under the Syllabus tab a file explaining how the final grades in the course will be calculated. Also, the course information file was updated, and now contains the planned structure of the Moed B Quizzes. |
24/12/2012, 15:39:01 |
Quiz 2 front page & Common mistakes file for Homework 3 | |
You can find the first page of Quiz 2 (containing the instructions for the quiz) under the Material\Additional material tab. A file containing common mistakes that were made in Homework 3 is now available under the Assignments tab. It is highly recommended that you read this file. If you have submitted Homework 3, then this file contains additional explanations as to why certain mistakes are indeed mistakes. If you didn't submit Homework 3, this will help you notice some problematic points in the solutions. |
19/12/2012, 16:03:18 |
Homework 3 returned | |
Homework 3 was fully checked and returned to the secretariat. |
19/12/2012, 08:11:56 |
Moed B for Quizzes 2 & 3 | |
The Moed B for Quiz 2 & Quiz 3 will take place on Sunday, 24.3.13. |
18/12/2012, 14:40:56 |
A clarification regarding the material for Moed A of Quiz 2 | |
The material for Moed A of Quiz 2 (which will take place this Thursday, 20.12.12) is as published before, and in particular it will cover everything that was taught about Nerode's theorem during the lectures. The announcement regarding Moed B quizzes, including the material they will cover, applies only to the Moed B dates. In order to avoid confusion, here is the material for Moed A of Quiz 2: The quiz will cover the material taught in lectures 5-8 (up to the lecture of 13.12), tutorials 5-7 and Homeworks 3 & 4: Non-deterministic finite automaton (with and without epsilon transitions), regular expressions, the pumping lemma for regular languages, closure properties for regular languages and Nerode's theorem (only what was covered in the lectures). The relevant chapters in the book are 3.1, 3.2, 3.3 (only the algorithm, without the proof), 3.4, 3.5 (not including 3.5.2 and 3.5.3), chapter 4 (not including 4.4, except what was taught during tutorial 7), and chapter 5 (only what you have learned during the lectures) |
18/12/2012, 09:44:12 |
Moed B for Quizzes 2 & 3 | |
Following your requests there will be a Moed B for quizzes 2 & 3. The next two quizzes (on 20.12.12 and 20.1.13) will take place as scheduled, and the structure of the grade remains unchanged. During the period of Moed B exams, we will have an exam with two parts. One part will be Moed B of quiz 2 (the quiz that will be held on 20.12.12), and the other will be Moed B of quiz 3 (the quiz which will be held on 20.1.13). You will be able to attend either one, or both, of these two parts. The Moed B quizzes will cover the same material as the "Moed A" quizzes: quiz 2 will cover all the material up to (not including) Nerode's theorem (chapters 1-4 in the course textbook), and quiz 3 will cover all the material from (including) Nerode's theorem till the end of the course (chapters 5-9 in the course textbook). The percentage of material taken from the lectures, tutorials and HWs will be approximately 40% for the moed B of quiz 2, and 30% for the moed B of quiz 3. Good luck! |
17/12/2012, 20:11:48 |
Rooms for Quiz 2 | |
Quiz 2 will take place on Thursday, 20.12.12 (this week), 17:30-19:30 in Ulman 701-709. |
16/12/2012, 10:59:40 |
Partial solution for tutorial 7 | |
A solution to the decision problem presented in tutorial 7 has been uploaded to the course website (under the Material\Tutorials tab). This solution demonstrates what kind of explanations are expected from you in this type of questions. |
12/12/2012, 17:37:42 |
Quiz 2 | |
Quiz 2 will take place on Thursday, 20.12, 17:30-19:30 (the classrooms for the quiz will be published next week). The quiz is with "closed material". During the exam you will be given 'dapei-ezer' with a summary of the course material. You can find these summary pages on the course website under the Material\Additional Materials Tab. The quiz will cover the material taught in lectures 5-8 (up to the lecture of next week, 13.12), tutorials 5-7 and Homeworks 3 & 4: Non-deterministic finite automaton (with and without epsilon transitions), regular expressions, the pumping lemma for regular languages, closure properties for regular languages and Nerode's theorem (only what was covered in today's lecture and will be covered during the lecture next week). The relevant chapters in the book are 3.1, 3.2, 3.3 (only the algorithm, without the proof), 3.4, 3.5 (not including 3.5.2 and 3.5.3), chapter 4 (not including 4.4, except what will be taught during tutorial 7 this week), and chapter 5 (only what you have and will learn during the lectures) The quiz will be worth 35% (TAKEF) of your final grade. Good luck! |
6/12/2012, 21:58:29 |
Homework 2 returned | |
Homework 2 was fully checked and will be returned to the secretariat tomorrow. A file containing common mistakes that were made in Homework 2 was uploaded to the course website (under the Assignments tab). It is highly recommended that you read this file. If you have submitted Homework 2, then this file contains additional explanations as to why certain mistakes are indeed mistakes. If you didn't submit Homework 2, this will help you notice some problematic points in the solutions. |
4/12/2012, 18:56:50 |
Homework 4 has been published on the website under the 'Assignments' tab. Submission is optional, and submitted assignments will be partially checked. Assignments may be submitted individually to the course mailbox on the first floor, until Monday, 24.12.12, 14:30. We will hold three workshops which will be dedicated to HW4. - Wednesday, 12.12.12, 16:30-18:30 at Taub 201 (Liat). Notice that Wednesday 12.12.12 is "Matkonet Yom Alef". - Sunday, 16.12.12, 16:30-18:30 at Taub 201 (Mor). - Monday, 17.12.12, 12:30-14:30 at Taub 601 (Ariella). Good luck! |
4/12/2012, 14:30:02 |
The lecture this week | |
The lecture this week (6.12) will cover Nerode's Theorem, so if you use the lecture slides during the lecture, be sure to bring the slides of lecture 8 as well. It is recommended that you read the chapter on Nerode's Theorem (in the course textbook) before the lecture. |
3/12/2012, 14:33:32 |
Quiz 1 Appeals and common mistakes file | |
A file containing common mistakes that were made in Quiz 1 is now available on the course website under the Material\Additional Material tab. Regarding Appeals: - Appeals may be submitted until Monday, 10.12.12. 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, available both in docx or doc formats), and email it, together with you 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 10.12.12. |
2/12/2012, 22:11:43 |
A message from Prof. Zaks | |
A file containing an important message from Prof. Zaks has been added under the Syllabus tab (named "Message from Prof. Zaks 021212"). |
2/12/2012, 13:42:39 |
A change in the time & place of Arialla's workshop this week | |
Ariella's workshop this week will take place on Wednesday, 5.12, 12:30-14:30 at Taub 701 (This is instead of the workshop that was supposed to be held tomorrow, 3.12). |
2/12/2012, 11:08:33 |
Quiz 1 Grades | |
Quiz 1 has been graded and returned to the Secretariat. Grades are available online. The average of the students who attended the lectures and submitted HWs was higher by ~20% than the overall average in the quiz, the percentage of failures was much lower amongst these students, and their lowest grade was much higher. We stress that although submitting HWs does not give you any credit in your final grade, it is apparent from your grades that submitting the HWs helped you study for the quiz. Therefore, in order to encourage you to actively study during the course (i.e. attend the lectures and tutorials, submit the HWs and take the quizzes), a generous factor of 10% was given to your quiz grade. Your grade in the quiz appears under the name "Quiz1". Your grade after the factor appears under the name "Quiz1_Factor" (and was calculated as 1.1 * Quiz1). During the workshops this week we will discuss the quiz and common mistakes that were made (in addition to discussing HW3). |
2/12/2012, 10:32:28 |
A message from Prof. Zaks | |
A file containing an important message from Prof. Zaks has been added under the Syllabus tab. Make sure you read it before the lecture of 29.11.12 (tomorrow). |
28/11/2012, 10:13:17 |
Course schedule on the week of Hanukkah (9.12-13.12) | |
The Technion is on Holiday between Sunday 9.12 and Tuesday, 11.12, due to Hanukkah. Therefore, the Sunday (9.12) and Tuesday (11.12) tutorials are cancelled. As Wednesday, 12.12 is "Matkonet Yom Alef", we will have a tutorial for the Sunday group on that day (usual time & place). We will hold a complementary tutorial for the Tuesday group on Wednesday, 16:30-17:30, in Taub 3. The lecture & tutorial on Thursday (13.12) will be held as usual. |
27/11/2012, 13:47:18 |
Partial solution for tutorial 5 and a correction to the partial solution for tutorial 4 | |
Additional solutions for the exercises of tutorial 5 are now available (in the Material\Tutorials tab, under the name "tutorial 5 partial solution 3"). This file contains solutions for exercises from slides 7-8 of tutorial 5. Due to your requests, we have uploaded a more detailed proof for the exercise on equivalence of models (tutorial 4, slide 8). The updated solution can be found in the Material\Tutorials tab, under the name "tutorial 4 partial solution 3". |
27/11/2012, 13:39:56 |
Homework 3 has been published on the website under the 'Assignments' tab. Submission is optional, and submitted assignments will be partially checked & returned before the second quiz. Assignments may be submitted individually to the course mailbox on the first floor, until Wednesday, 12.12.12, 10:30. We will hold three workshops which will be dedicated to HW3. - Sunday, 2.12.12, 16:30-18:30 at Taub 201 (Mor). - Monday, 3.12.12, 12:30-14:30 at Taub 601 (Ariella). - Wednesday, 5.12.12, 16:30-18:30 at Taub 201 (Liat). Good luck! |
27/11/2012, 13:33:54 |
An additional date for quiz 1 for students who were drafted due to "Amud Anan" | |
An additional date has been scheduled for the first quiz (the quiz that will be held on 25.11.12). This additional quiz (available only to those student who could not study properly due to their reserve duty in "Amud Anan") will take place on Wednesday, 12.12.12, 16:30-18:30 (Notice that this Wednesday is Matkonet Yom Alef). If you are eligible for the additional quiz (and wish to take it) contact Mor until Thursday, 29.11.12, and attach your paperwork. You can only take one of the quizzes, either on 25.11 or 12.12. |
23/11/2012, 14:48:27 |
Common mistakes file for Homework 1 | |
A file containing common mistakes that were made in Homework 1 is now available under the Assignments tab. It is highly recommended that you read this file. If you have submitted Homework 1, then this file contains additional explanations as to why certain mistakes are indeed mistakes. If you didn't submit Homework 1, this will help you notice some problematic points in the solutions. |
22/11/2012, 16:14:25 |
Quiz 1 front page & a clarification regarding the material for Quiz 1 | |
You can find the first page of Quiz 1 (containing the instructions for the quiz) under the Material\Additional material tab. There is one instruction missing (and this instruction will be written on the black board during the quiz): You should not omit the "hats" from delta (i.e. if you are referring to the extension of delta to words, you should write delta_hat and not delta). Quiz 1 will not cover automatons with epsilon transitions. Moreover, the topic of non-deterministic finite automaton will only cover the following sub-topics: - The formal definition of a non-deterministic finite automaton. - The meaning of non-determinism. - The definition of delta and its extension delta_hat. Good luck! |
22/11/2012, 13:11:32 |
Homework 1 returned | |
Homework 1 was fully checked and returned to the secretariat. |
22/11/2012, 09:28:26 |
Room change for Quiz 1 | |
The classrooms for Quiz 1 were changed. The Quiz will take place in classrooms Ulman 501, 502, 505, 601, 604, 605, 606 and 707 (707 is for students with time extensions). Good luck! |
21/11/2012, 09:58:35 |
Correction to HW2 | |
There has been a typo in the 5th instruction for HW2: in questions in which you need to prove or disprove regularity of a language, you may use regular languages whose regularity was proven in the lectures (and the note regarding the "dapei-ezer" only applies to non regular languages). An updated version is now available on the course website. |
19/11/2012, 17:58:14 |
Students called for reserve duty due to "AMUD ANAN" | |
If you were called for reserve duty due to "AMUD ANAN", please contact either Prof. Zaks or Mor, as soon as is possible, regarding any problems arising with the course (such as making up material or completing course requirements). |
19/11/2012, 09:39:40 |
A message from Prof. Zaks | |
As was stated in the beginning of the Semester, a student may take the course only if he\she passed the KDAM course (Logic for CS, 234293) and has passed or is currently studying the TZAMUD course (Algorithms 1, 234247). A student which does not fufill both conditions may take the course only with the permission of Prof. Zaks. If you do not fulfill the above conditions and don't have a special permission from Prof. Zaks, make sure to contact Prof. Zaks before the lecture of Thursday, 22.11 (this week's lecture) </u>, otherwise you will not be able to take quiz 1. |
18/11/2012, 15:05:25 |
Quiz 1 | |
Quiz 1 will take place on Sunday, 25.11, 16:30-18:30, Taub 4-9. The quiz is with "closed material" and no 'dapei-ezer'. It will cover the material taught in the first 4 lectures and tutorials (up to, including, non-deterministic finite automaton) and Homeworks 1 & 2. The quiz will be worth 25% (MAGEN) of your final grade. Good luck! |
18/11/2012, 09:31:41 |
A message for Ariella's tutorial group | |
The complete formal construction of the automaton of Exercise 3 of Tutorial 3 (which was partially presented on the whiteboard during the tutorial) appears in Question 3 in HW2. |
13/11/2012, 14:31:46 |
Homework 2 has been published on the website under the 'Assignments' tab. Submission is optional, and submitted assignments will be partially checked. Assignments may be submitted individually to the course mailbox on the first floor, until Monday, 26.11.12, 14:30. We will hold three workshops which will be dedicated to HW2. - Sunday, 18.11.12, 16:30-18:30 at Taub 201 (Mor). - Monday, 19.11.12, 12:30-14:30 at Taub 601 (Ariella). - Wednesday, 21.11.12, 16:30-18:30 at Taub 201 (Liat). Good luck! |
13/11/2012, 13:35:12 |
Updated slides for tutorial 4 | |
The slides for tutorial 4 have been updated (a few typos were corrected). |
12/11/2012, 14:55:13 |
Slides for the next lecture | |
The next lecture (Thursday, 6.11.12) will also cover topics from lecture 6, so if you use the lecture slides during the lecture, be sure to bring the slides of lecture 6 as well. |
6/11/2012, 15:03:04 |
Homework 1 has been published on the website under the 'Assignments' tab. Submission is optional, and submitted assignments will be partially checked & returned before the first quiz. Assignments may be submitted individually to the course mailbox on the first floor, until Thursday, 15.11.12, 14:30. We will hold three workshops which will be dedicated to HW1. - Sunday, 11.11.12, 16:30-18:30 at Taub 201 (Mor). - Monday, 12.11.12, 12:30-14:30 at Taub 601 (Ariella). - Wednesday, 14.11.12, 16:30-18:30 at Taub 201 (Liat). Good luck! |
6/11/2012, 14:58:36 |
A message from Prof. Zaks | |
A file containing tips from Prof. Zaks to help you study the course has been added under the Syllabus tab. Make sure you read it. |
31/10/2012, 17:43:25 |
Room change (lectures) | |
From now on, all the lectures will take place in Taub 1. |
29/10/2012, 13:39:08 |
Course information file is now available on the course website | |
You can find a file containing information about the course (literature, quiz schedule, how your final grade will be calculated etc.) on the course website under the "Syllabus" tab. |
21/10/2012, 10:09:21 |
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 on the quizzes). - 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 Tuesday tutorial next week (23.10) is canceled (the first tutorial of the Tuesday group will take place on the regular tutorial on Tuesday, 30.10). The tutorial schedule will resume as usual starting on Thursday, 25.10. Good luck and we hope you enjoy the course, The course staff. |
17/10/2012, 11:22:03 |