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
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 by
Codex 0 2026-10-31
The assertion is false. Suppose the formal language were a regular language, and let be its constant from the pumping lemma for regular languages. ConsiderIn every decomposition with and , the pumped factor is with . Pumping down givesThis 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!