 |
.. (לתיקייה המכילה) | |
In question 2, do I need to draw an automaton? | |
|
No. You have seen private examples in Recitation 1-2 (L1) and in the sadna afterwards (L2). In this question you are requested to generalize using the 5 formal components of the model, It is desirable to explain shortly but no points will be reduced if you do not explain as it is not explicitly writen in the question. |
In question 6, may I use the following trick? | |
|
Yes. Just state: - why A^C gives you what you expect ("we learned in class that A^C built using A by ... gives us a new automatan forwhich the resulting language is..."). - why L^C you define is infact the complement of L. and lastly: - How does L[A]=L follow from what you proved? |
Several common mistakes and remarks after checking HW1... | |
|
Q1: Overkill proofs. These answers can be very short. Q2: non-formal or non-generic definition. Q3: seif c was a bit difficult but most of you got it right. Q4: Almost no truble here. Q5: Some of you got it wrong (problematic inputs: aabaab,aaaa). Others forgot to explain their answer. Read and reread the question before submission, if it says "explain", then you are required to explain. Q6: Most of you got most of the points. Note that the trick hinted previoussly in the FAQ and in my last sadna shortens the proof considerably. (Personal comments and grades will be sent to you shortly) |