Modification to the grades
It turns out that:
1. The strike also forbids me from sending the grades via email.
2. The average constraints I was working under were not precise.
Therefore, please treat the grade you received in the email yesterday as a lower bound. I will adjust the grades (slightly) and submit them when the strike is over.
Apologies for the confusion,
|פורסם ב-30/1/2023, 12:52:18 Created on 30/1/2023, 12:52:18 Создано30/1/2023, 12:52:18 تم النشر ب-30/1/2023, 12:52:18|
Seminar Grades and Feedback
Due to the semi-strike, I'm not allowed to submit your grades to the system.
I think, however, that I am allowed to send you an email with feedback and with the grades that will eventually be submitted.
Therefore, in a few minutes I will send you these emails.
I want to thank everyone again for attending the seminar and for giving excellent talks!
|פורסם ב-29/1/2023, 11:05:35 Created on 29/1/2023, 11:05:35 Создано29/1/2023, 11:05:35 تم النشر ب-29/1/2023, 11:05:35|
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.
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
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
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
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 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
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
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:
(try to be as flexible as you can).
*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
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 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)
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 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
Due to the Rabin memorial day, the seminar on Sunday will start at 13:30 (until 14:20).
|פורסם ב-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|
Shimon opened a Whatsapp group for the seminar.
You can join in the following link:
|פורסם ב-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
25% Preparation for the talk
30% Proficiency in the material
|פורסם ב-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|