Way way off the beaten path here, but this is the best example of usage of the pumping lemma I've seen. Just need somewhere to put it...
The below is taken from here.
Let be a regular language, and be a string. Then there exists a constant s.t. .
We can break into three strings, , s.t.:
Method to prove that a language is not regular:
At first, we have to assume that is regular.
So, the pumping lemma should hold for .
Use the pumping lemma to obtain a contradiction:
Select s.t. .
Select s.t. .
Assign the remaining string to .
Select s.t. the resulting string is not in .
Prove that is not regular.
At first, we assume that is regular and is the number of states.
Let . Thus .
By the pumping lemma, let , where .
Let , , and , where , , , . Thusly .
Let . Then .
Number of .
Hence, . Since , is not of the form !!!!!!!!!!!!!!!
Unit 2 is "Vector algebra and statics". I opened this thinking "Ah yup. I know vectors. Easy". I see "dot product" and "cross product" explained in it, and considered how crazy-basic this unit must be. I saw arrows on force diagrams. Yup. Simple. This will be a non-unit. A breeze.
Though it turns out... after getting a few pages in, I've not been asked to present vectors quite like this before, and these force diagrams look a lot different to the ones I remember somehow. Seems I do actually have to read this all carefully...
I'm also used to using vectors in programming, so the fact that every vector I'm given is unnormalised also makes me feel dirty.
Right, we'll see how this goes then... :/
My first unit is done! I managed to find time to complete the first assignment too. This is timely, as the course officially starts tomorrow.
This unit was interesting. Looking at the title "differential equations" I thought "Oh, okay, fine. I've done this before". Then opening up the book, I realised "Oh wait. I haven't quite done THIS before". That's when the fear crept in... how much of a learning curve would I be facing in this new unit?!
Forging through, I had to concede defeat on one or two examples, but I came out the other end confident about all the material I'd covered. Only now I've completed the assignment do I feed confident about my ability on the subject matter, but it's also one of those areas where I need to keep up the practise.
All too often, it's the first unit that you return to at revision time and think "what IS all this?!". It's been hinted at that themes of second order differential equations reoccur throughout the module so I'm hoping I'll stay in practise.
So I'll give the assignment a final proof-read and then submit it tomorrow on the first official day of the module. Good start.
I've got nine months to get all of that inside my brain. -but then I will also need to be able to write answers to questions on the subject matter at close to the speed of sound by the time of the exam...