The last few days have been spent working on assignment 3. I did first 2 questions with relative ease. The course slides on lecture were of great aid in assisting me solve question 1. The loop invariants, preconditions and they both lead to post condition and its termination were better explained in 2 slides than in 5 pages of course notes!
I am currently unsure about question 3. My intuition is to proceed solving it using operations of union and concatenation and prove that a finite number of strings can be generated if a language is derived using those operations. I should talk to Danny in office hours regarding it.
Question 4 is a give away. :p
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment