Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2003/calculus-probability-linear-algebra-discrete-mathematics-logic-and-proof-and-models-of-computation/9/c/solution

The assertion is false. Suppose the formal language were a regular language, and let be its constant from the pumping lemma for regular languages. Consider
In every decomposition with and , the pumped factor is with . Pumping down gives
This string has exactly two ones and ends in a one. If it were , each copy of would contain exactly one one, and each copy would end in a one. The first copy would consequently be , while the second would be . They have different lengths because , so they cannot be equal. This contradiction to the pumping lemma for regular languages proves

New to topics? Read the docs here!