Well, we handed in A3 on Monday, and I think it went fairly well. The first three questions were familiar enough, and I'm really quite sure we got them right. I'm glad I went to Prof. Heap's office to ask about Q3 though, wouldn't have thought to use structural induction - though it is a neat application, and makes sense. Question four is what I'm really worried about. It was a bit of a rush towards the due date and I think the answer we ended up submitting was uh... sketchy. The invariants are there, at least, though no matter what we just couldn't find a pattern indicating multiples of five in binary numbers, so I'm worried.
Oh well.
As an addendum, the pumping lemma is pretty neat, and I suppose it's necessary to have some sort of handle on non-regular languages.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment