The document discusses properties of regular languages and how to prove that a language is non-regular using the pumping lemma. The pumping lemma states that for any regular language L, there exists a pumping length p such that any string s in L of length at least p can be divided into xyz where y can be repeated zero or more times to produce strings that are still in L. To prove a language is non-regular, we assume it is regular, choose a string s of length at least p, and show that no matter how s is divided, there is some repetition that produces a string not in the language. Several examples are provided.