# 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 21526: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0026`; number: 21526
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0026/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0026.json)

## Question 21527: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0027`; number: 21527
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0027/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0027.json)

## Question 21528: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0028`; number: 21528
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0028/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0028.json)

## Question 21529: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0029`; number: 21529
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0029/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0029.json)

## Question 21530: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0030`; number: 21530
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0030/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0030.json)

## Question 21531: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0031`; number: 21531
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0031/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0031.json)

## Question 21532: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0032`; number: 21532
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0032/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0032.json)

## Question 21533: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0033`; number: 21533
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0033/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0033.json)

## Question 21534: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0034`; number: 21534
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0034/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0034.json)

## Question 21535: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0035`; number: 21535
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0035/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0035.json)

## Question 21536: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0036`; number: 21536
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0036/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0036.json)

## Question 21537: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0037`; number: 21537
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0037/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0037.json)

## Question 21538: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0038`; number: 21538
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0038/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0038.json)

## Question 21539: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0039`; number: 21539
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0039/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0039.json)

## Question 21540: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0040`; number: 21540
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0040/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0040.json)

## Question 21541: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0041`; number: 21541
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0041/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0041.json)

## Question 21542: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0042`; number: 21542
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0042/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0042.json)

## Question 21543: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0043`; number: 21543
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0043/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0043.json)

## Question 21544: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0044`; number: 21544
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0044/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0044.json)

## Question 21545: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0045`; number: 21545
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0045/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0045.json)

## Question 21546: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0046`; number: 21546
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0046/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0046.json)

## Question 21547: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0047`; number: 21547
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0047/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0047.json)

## Question 21548: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0048`; number: 21548
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0048/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0048.json)

## Question 21549: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0049`; number: 21549
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0049/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0049.json)

## Question 21550: Each Derivation Step Replaces One Nonterminal by One Declared Right Side

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0050`; number: 21550
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-derivation-audit](/en/explore/?family=qf-mod40-cfg-derivation-audit)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0050/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0050.json)