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!