Does anyone know of a really good explanation of the pumping lemma for regular languages? I understand all the parts, I think, but I'm having trouble getting quite how they all fit together, and how they apply in practice to some types of regular language. Ideally, I'd love to see examples that are worked out step by step, on languages a bit more real-world than the traditional "a*b*" type.

#computerscience #theoryofcomputation #formallanguages

Speaking of things from the past, this was still one of my favorite class projects I worked on in university. I remember my professor praising my code and supplied documentation as beautifully-made.

https://github.com/Xyaneon/GSP2

#TheoryOfComputation #TuringMachine #automata #cSharp