Ange och Visa pumpning lemma för reguljära språk?

Ange och Visa pumpning lemma för reguljära språk?

Sats: - Låt M=(Q,S,δ,q0,F) vara en ändlig automatisera och har n antal stater. Låt L vara den vanliga språk som godtas av M. Låt för varje sträng x i L, finns det en konstant n sådan att | x | > = n. Nu, om strängen x kan delas i tre sub strängar u, v och w så att
x = uvw
uppfyller följande villkor:
1. v≠ ɛ dvs | v | > = 0
2. | uv |<=>

då uv1w är i L för jag > = 0