# 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 2/4. ## Question 23226: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0076`; number: 23226 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0076/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0076.json) ## Question 23227: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0077`; number: 23227 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0077/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0077.json) ## Question 23228: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0078`; number: 23228 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0078/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0078.json) ## Question 23229: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0079`; number: 23229 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0079/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0079.json) ## Question 23230: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0080`; number: 23230 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0080/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0080.json) ## Question 23231: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0081`; number: 23231 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0081/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0081.json) ## Question 23232: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0082`; number: 23232 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0082/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0082.json) ## Question 23233: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0083`; number: 23233 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0083/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0083.json) ## Question 23234: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0084`; number: 23234 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0084/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0084.json) ## Question 23235: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0085`; number: 23235 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0085/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0085.json) ## Question 23236: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0086`; number: 23236 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0086/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0086.json) ## Question 23237: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0087`; number: 23237 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0087/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0087.json) ## Question 23238: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0088`; number: 23238 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0088/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0088.json) ## Question 23239: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0089`; number: 23239 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0089/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0089.json) ## Question 23240: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0090`; number: 23240 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0090/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0090.json) ## Question 23241: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0091`; number: 23241 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0091/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0091.json) ## Question 23242: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0092`; number: 23242 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0092/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0092.json) ## Question 23243: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0093`; number: 23243 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0093/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0093.json) ## Question 23244: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0094`; number: 23244 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0094/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0094.json) ## Question 23245: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0095`; number: 23245 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0095/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0095.json) ## Question 23246: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0096`; number: 23246 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0096/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0096.json) ## Question 23247: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0097`; number: 23247 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0097/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0097.json) ## Question 23248: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0098`; number: 23248 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0098/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0098.json) ## Question 23249: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0099`; number: 23249 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0099/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0099.json) ## Question 23250: A Depth-Limited No-Hit Is Not an NFA Rejection Proof - ID: `q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0100`; number: 23250 - Processing: second_context_reviewed - MKO: [mko-nondeterministic-finite-automaton](/en/mko/mko-nondeterministic-finite-automaton/) - Family: [qf-mod42-nfa-bounded-search-boundary](/en/explore/?family=qf-mod42-nfa-bounded-search-boundary) - Batch: [batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations](/en/explore/?batch=batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations) - [Derivation](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0100/) / [Markdown](/en/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261111-r07-nondeterministic-finite-automaton-0100.json) [Next](/en/explore/index.md?mko=mko-nondeterministic-finite-automaton&page=3)