שאלות ותשובות - HW2 Frequently Asked Questions - HW2 Вопросы и Ответы - HW2 أسئلة وأجوبة - HW2

		.. (לתיקייה המכילה)

In Q4, may I proove this by defining a new Automaton over the alphabet Double(\Sigma)? I mean suppose the original alphabet is {a,b}, my new alphabet will be {aa,ab,ba,bb}

NO. An alphabet is by definition a set of single characters. What exactly is a 'single character' is a philosophical question, so we won't get into it... Let's just say that for this question try using the same alphabet.

In q8, it says: "Proove model equivalence to all models learned in classs". May I use equivalence claims prooved in class?

Yes, you may.