# 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 3/4.

## Question 23951: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0076`; number: 23951
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0076/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0076.json)

## Question 23952: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0077`; number: 23952
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0077/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0077.json)

## Question 23953: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0078`; number: 23953
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0078/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0078.json)

## Question 23954: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0079`; number: 23954
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0079/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0079.json)

## Question 23955: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0080`; number: 23955
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0080/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0080.json)

## Question 23956: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0081`; number: 23956
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0081/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0081.json)

## Question 23957: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0082`; number: 23957
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0082/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0082.json)

## Question 23958: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0083`; number: 23958
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0083/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0083.json)

## Question 23959: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0084`; number: 23959
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0084/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0084.json)

## Question 23960: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0085`; number: 23960
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0085/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0085.json)

## Question 23961: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0086`; number: 23961
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0086/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0086.json)

## Question 23962: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0087`; number: 23962
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0087/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0087.json)

## Question 23963: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0088`; number: 23963
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0088/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0088.json)

## Question 23964: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0089`; number: 23964
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0089/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0089.json)

## Question 23965: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0090`; number: 23965
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0090/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0090.json)

## Question 23966: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0091`; number: 23966
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0091/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0091.json)

## Question 23967: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0092`; number: 23967
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0092/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0092.json)

## Question 23968: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0093`; number: 23968
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0093/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0093.json)

## Question 23969: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0094`; number: 23969
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0094/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0094.json)

## Question 23970: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0095`; number: 23970
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0095/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0095.json)

## Question 23971: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0096`; number: 23971
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0096/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0096.json)

## Question 23972: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0097`; number: 23972
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0097/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0097.json)

## Question 23973: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0098`; number: 23973
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0098/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0098.json)

## Question 23974: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0099`; number: 23974
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0099/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0099.json)

## Question 23975: Each Recorded Prefix Subset Must Equal All Closed NFA Reachable States

- ID: `q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0100`; number: 23975
- Processing: second_context_reviewed
- MKO: [mko-subset-construction-nfa-to-dfa](/en/mko/mko-subset-construction-nfa-to-dfa/)
- Family: [qf-mod43-subsetdfa-full-word-trace-invariant](/en/explore/?family=qf-mod43-subsetdfa-full-word-trace-invariant)
- Batch: [batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations](/en/explore/?batch=batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0100/) / [Markdown](/en/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-0100.json)

[Next](/en/explore/index.md?mko=mko-subset-construction-nfa-to-dfa&page=4)