Finale

Term test three was today, and my mood is nothing less than jubilant. For the first time, I'm pretty sure everything went well! :D The first question on the DFSA was a breeze, though I'm glad I didn't start with it. After a few minutes of staring at it, it didn't make any sense, so I moved on, but with Prof. Heap's announced corrections it was, well... easy. I'm 90% sure I handled both the questions with the regex and language just fine, after lots of study of the posted solutions. Most of all though, I'm glad I went to ask Prof. Heap about Q4 from A3, since that gave me a proper understanding of the Cartesian product and how to use it, which is probably why Q1 was so doable.

Well, the course is drawing to a close, and on the whole it's been one of the more educational and enriching ones I've ever taken. I never realized until now what a powerful tool induction is, and I think I'll be leaving this course with a good grasp on logical proofs, more so than just on the structure (which is the feeling I got after CSC165). The relatively brief coverage of FSAs has given me a taste for them, and I'm quite looking forward to CSC363. Now just to put up with one week of hellish studying and a lousy exam schedule, and then time for next semester's load-out of all-CSC courses, including CSC300. Thanks Professor Heap for a great course!