Finally! Submitted the last assignment just couple of minutes ago. With all of its sub-i's and sub-(i+1)'s, ahh it drove me crazy. Hope, this one will not break the small tradition of getting full marks on 236 assignments :)
Just realized that the whole course was about proofs, even if we build DFSAs, designe algorithms, or write regexes, everything need to be proved. At some point, I thought that I could prove anything. Sure though, that this feeling will leave me when I start preparing for final :D
Also, want to say that I enjoyed the course, and good luck everyone on finals!

I got my quiz today, which I was not be able to do correctly. So, now, after learning product construction, I tried to use it to devise a finite state machine that accepts the language of binary strings that have an even number of 1s and an odd length. Not sure if it is correct, but seems to work for me.

Hey! Two more weeks (actually less) to go! Just wanted to make a quick review of what have been done so far since my last post and what needs to be done in remaining time. So, assignment 2 and test 2 marks released, which I am very happy with. Again, thanks to TA’s and prof. Danny for assistance! Talking about test, there was some argues about how it is unfair for day sections because they had less time to prepare, which, I guess, was not relevant, because the day section’s test was actually easy enough. Not that I aced it, but not getting a full credit was only my fault.

Well, we have one more assignment and two quizzes, which I will write about later.

Heeey guys! So, tomorrow is the second(and last!:)) term test, and now I am reviewing all the past tutorial exercises and course slides in order to prepare. Actually, have no idea what to expect, I quess I'm not quite ready for the pre- and postcondition stuff that we did last lectures. Hope it would be as easy as the first termtest.
Also, the friday night was the deadline for the assignment. At first sight, it seemed difficult, and again, as always, after several hours(or days) of thinking, making notes, trying different approaches, and then going to TAs or prof, I had an idea what I am asked for and how to solve it. Again, cannot stress enough how office hours and CS Help centre are helpful!