# 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. 25 results; page 1/1. ## Question 27351: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0026`; number: 27351 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0026/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0026.json) ## Question 27352: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0027`; number: 27352 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0027/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0027.json) ## Question 27353: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0028`; number: 27353 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0028/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0028.json) ## Question 27354: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0029`; number: 27354 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0029/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0029.json) ## Question 27355: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0030`; number: 27355 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0030/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0030.json) ## Question 27356: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0031`; number: 27356 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0031/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0031.json) ## Question 27357: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0032`; number: 27357 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0032/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0032.json) ## Question 27358: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0033`; number: 27358 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0033/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0033.json) ## Question 27359: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0034`; number: 27359 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0034/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0034.json) ## Question 27360: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0035`; number: 27360 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0035/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0035.json) ## Question 27361: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0036`; number: 27361 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0036/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0036.json) ## Question 27362: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0037`; number: 27362 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0037/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0037.json) ## Question 27363: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0038`; number: 27363 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0038/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0038.json) ## Question 27364: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0039`; number: 27364 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0039/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0039.json) ## Question 27365: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0040`; number: 27365 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0040/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0040.json) ## Question 27366: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0041`; number: 27366 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0041/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0041.json) ## Question 27367: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0042`; number: 27367 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0042/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0042.json) ## Question 27368: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0043`; number: 27368 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0043/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0043.json) ## Question 27369: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0044`; number: 27369 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0044/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0044.json) ## Question 27370: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0045`; number: 27370 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0045/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0045.json) ## Question 27371: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0046`; number: 27371 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0046/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0046.json) ## Question 27372: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0047`; number: 27372 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0047/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0047.json) ## Question 27373: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0048`; number: 27373 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0048/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0048.json) ## Question 27374: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0049`; number: 27374 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0049/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0049.json) ## Question 27375: A Complete Unary DFA Loop Gives an Invariant for Every Pump Count - ID: `q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0050`; number: 27375 - Processing: second_context_reviewed - MKO: [mko-pumping-lemma-regular-languages](/en/mko/mko-pumping-lemma-regular-languages/) - Family: [qf-mod49-pump-dfa-loop-witness](/en/explore/?family=qf-mod49-pump-dfa-loop-witness) - 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-0050/) / [Markdown](/en/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r07-pumping-lemma-regular-languages-0050.json)