# OCME ยท Knowledge & practice explorer 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 100 results; page 1/4. ## Question 27301: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0051`; number: 27301 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0051/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0051.json) ## Question 27302: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0052`; number: 27302 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0052/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0052.json) ## Question 27303: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0053`; number: 27303 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0053/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0053.json) ## Question 27304: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0054`; number: 27304 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0054/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0054.json) ## Question 27305: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0055`; number: 27305 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0055/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0055.json) ## Question 27306: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0056`; number: 27306 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0056/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0056.json) ## Question 27307: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0057`; number: 27307 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0057/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0057.json) ## Question 27308: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0058`; number: 27308 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0058/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0058.json) ## Question 27309: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0059`; number: 27309 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0059/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0059.json) ## Question 27310: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0060`; number: 27310 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0060/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0060.json) ## Question 27311: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0061`; number: 27311 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0061/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0061.json) ## Question 27312: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0062`; number: 27312 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0062/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0062.json) ## Question 27313: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0063`; number: 27313 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0063/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0063.json) ## Question 27314: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0064`; number: 27314 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0064/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0064.json) ## Question 27315: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0065`; number: 27315 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0065/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0065.json) ## Question 27316: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0066`; number: 27316 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0066/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0066.json) ## Question 27317: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0067`; number: 27317 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0067/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0067.json) ## Question 27318: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0068`; number: 27318 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0068/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0068.json) ## Question 27319: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0069`; number: 27319 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0069/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0069.json) ## Question 27320: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0070`; number: 27320 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0070/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0070.json) ## Question 27321: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0071`; number: 27321 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0071/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0071.json) ## Question 27322: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0072`; number: 27322 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0072/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0072.json) ## Question 27323: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0073`; number: 27323 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0073/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0073.json) ## Question 27324: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0074`; number: 27324 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0074/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0074.json) ## Question 27325: Every Legal Split of a^p b^p Is Defeated by Pumping Down - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0075`; number: 27325 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-anbn-all-splits](/en/explore/?family=qf-mod49-pump-anbn-all-splits) - Batch: [batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations) - [Derivation](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0075/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0075.json) [Next](/en/explore/index.md?mko=mko-pumping-lemma-regular-languages&page=2)