Feedback Questionnaire | |
Hi all, Thanks again for all the lectures, I hope the seminar was interesting, and perhaps also fun. Please fill in this short feedback questionnaire, so I'll know what to improve for next time. https://forms.gle/yMykzxSYwnSkXb4d9 Just to clarify: it will not affect the grades in any way, so please be as informative as you can. P.S. I posted this on Friday morning, but due to the Posix failure, some of you might have not received it. |
פורסם ב-22/1/2023, 13:48:03 Created on 22/1/2023, 13:48:03 Создано22/1/2023, 13:48:03 تم النشر ب-22/1/2023, 13:48:03 |
Reminder - Last Lecture Today | |
Hi all, This is a reminder that the last lecture is in an hour (14:30, Taub 8). |
פורסם ב-17/1/2023, 13:29:45 Created on 17/1/2023, 13:29:45 Создано17/1/2023, 13:29:45 تم النشر ب-17/1/2023, 13:29:45 |
Last lecture on Tuesday | |
Hi all, We will meet on **Tuesday, 17.1, at 14:30 in Taub 8** for our last lecture of the semester. I will not publish any more assignments, but I will send out (after Tuesday) a short survey which I ask you to fill out, so that I can improve the seminar for future semesters. |
פורסם ב-15/1/2023, 15:30:47 Created on 15/1/2023, 15:30:47 Создано15/1/2023, 15:30:47 تم النشر ب-15/1/2023, 15:30:47 |
Mistake in Assignment 7 | |
Hi all, It was brought to my attention that assignment 7 might be ever-so-slightly impossible to solve. Apologies to those who tried to solve it. Instead of the assignment, just read what I had in mind: Usually in counter machines, a zero test acts like an "if", and the command is of the form e.g., "if x=0 goto L1, else goto L2". Then, you can easily put zero tests before a decrease command, to make sure you're not decreasing on 0. In Counter Programs, however, the "zero?x" command is not equipped with goto, it's just blocking, so it doesn't seem like this construction is possible. |
פורסם ב-11/1/2023, 14:12:47 Created on 11/1/2023, 14:12:47 Создано11/1/2023, 14:12:47 تم النشر ب-11/1/2023, 14:12:47 |
Assignment 7 | |
Assignment 7 is online. |
פורסם ב-8/1/2023, 11:41:57 Created on 8/1/2023, 11:41:57 Создано8/1/2023, 11:41:57 تم النشر ب-8/1/2023, 11:41:57 |
Assignment 6 is online | |
Assignment 6 is online |
פורסם ב-25/12/2022, 09:29:06 Created on 25/12/2022, 09:29:06 Создано25/12/2022, 09:29:06 تم النشر ب-25/12/2022, 09:29:06 |
Last lecture - Date and Time | |
Hi all, Thanks for answering the poll. The last lecture will take place on: ***Tuesday, 17.1.2023, at 14:30*** |
פורסם ב-22/12/2022, 12:52:52 Created on 22/12/2022, 12:52:52 Создано22/12/2022, 12:52:52 تم النشر ب-22/12/2022, 12:52:52 |
Date/time change for the last lecture | |
Hi all, The last lecture (given by Dor) will have to be moved* to a new date/time. Please fill in the Doodle below with your availability: https://doodle.com/meeting/participate/id/e0YGNEya (try to be as flexible as you can). Thanks! *In particular, this means that the lecture on 22.1.23 will be cancelled. |
פורסם ב-18/12/2022, 15:43:02 Created on 18/12/2022, 15:43:02 Создано18/12/2022, 15:43:02 تم النشر ب-18/12/2022, 15:43:02 |
Assignment 5 is online. | |
Assignment 5 is online. |
פורסם ב-18/12/2022, 15:35:46 Created on 18/12/2022, 15:35:46 Создано18/12/2022, 15:35:46 تم النشر ب-18/12/2022, 15:35:46 |
Assignment 4 is online! | |
Assignment 4 is online. Don't be scared by the amount of text, the answer is short. |
פורסם ב-11/12/2022, 11:50:01 Created on 11/12/2022, 11:50:01 Создано11/12/2022, 11:50:01 تم النشر ب-11/12/2022, 11:50:01 |
Assignment 3 is online | |
Almost forgot, but didn't! |
פורסם ב-4/12/2022, 19:20:36 Created on 4/12/2022, 19:20:36 Создано4/12/2022, 19:20:36 تم النشر ب-4/12/2022, 19:20:36 |
A super-important grammatical note | |
Hi all, I want to clarify something that really annoys me: - "Automaton" is singular: "This automaton made me cry". - The plural is "Automata": "These automata made me cry". The word "automatons" is an attempt to use the English plural on a Latin word, and is incorrect. The word "automatas" is an attempt to use English plural on an already plural word, also incorrect. So, at least for the purpose of the seminar on **Automata** and formal languages, make sure you use the correct grammar. Thanka (get it?) |
עדכון אחרון ב-28/11/2022, 21:31:29 Last updated on 28/11/2022, 21:31:29 Последняя модификация28/11/2022, 21:31:29 تمت الحتلنة الأخيرة ب-28/11/2022, 21:31:29 |
Assignment 2 | |
Assignment 2 is online. |
פורסם ב-27/11/2022, 15:32:00 Created on 27/11/2022, 15:32:00 Создано27/11/2022, 15:32:00 تم النشر ب-27/11/2022, 15:32:00 |
Assignment 2 (or lack thereof) | |
Hi all, I forgot about assignment 2. I'm sure you're heartbroken... If you nonetheless want challenging questions about yesterday's talk, let me know. |
פורסם ב-21/11/2022, 12:39:06 Created on 21/11/2022, 12:39:06 Создано21/11/2022, 12:39:06 تم النشر ب-21/11/2022, 12:39:06 |
Assignment 1 | |
Assignment 1 is online. |
פורסם ב-13/11/2022, 14:17:54 Created on 13/11/2022, 14:17:54 Создано13/11/2022, 14:17:54 تم النشر ب-13/11/2022, 14:17:54 |
Half-Lecture on Sunday | |
Hi all, Due to the Rabin memorial day, the seminar on Sunday will start at 13:30 (until 14:20). See you, Shaull |
פורסם ב-3/11/2022, 14:15:34 Created on 3/11/2022, 14:15:34 Создано3/11/2022, 14:15:34 تم النشر ب-3/11/2022, 14:15:34 |
Whatsapp Group | |
Hi all, Shimon opened a Whatsapp group for the seminar. You can join in the following link: https://chat.whatsapp.com/CbwX9e08i70Aj8BgsEY9Xh |
פורסם ב-30/10/2022, 15:35:37 Created on 30/10/2022, 15:35:37 Создано30/10/2022, 15:35:37 تم النشر ب-30/10/2022, 15:35:37 |
Welcome to the Seminar on Counter Automata! | |
Welcome to the Seminar on Counter Automata! A quick reminder of the administrative info: The course requirements are as follows. - Attend all lectures. - Present the paper you were assigned. - Meet with me about a week before your lecture to discuss the presentation and answer any questions you may have (email me to schedule beforehand). - Answer a short weekly question (starting Week 2). The grade composition: 12% Weekly question 13% Attendance 25% Preparation for the talk 30% Proficiency in the material 20% Delivery |
פורסם ב-30/10/2022, 15:27:04 Created on 30/10/2022, 15:27:04 Создано30/10/2022, 15:27:04 تم النشر ب-30/10/2022, 15:27:04 |