# OCME · 知識與練習查找 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. ## 第 22476 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0026`; number: 22476 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0026/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0026.json) ## 第 22477 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0027`; number: 22477 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0027/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0027.json) ## 第 22478 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0028`; number: 22478 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0028/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0028.json) ## 第 22479 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0029`; number: 22479 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0029/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0029.json) ## 第 22480 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0030`; number: 22480 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0030/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0030.json) ## 第 22481 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0031`; number: 22481 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0031/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0031.json) ## 第 22482 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0032`; number: 22482 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0032/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0032.json) ## 第 22483 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0033`; number: 22483 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0033/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0033.json) ## 第 22484 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0034`; number: 22484 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0034/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0034.json) ## 第 22485 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0035`; number: 22485 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0035/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0035.json) ## 第 22486 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0036`; number: 22486 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0036/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0036.json) ## 第 22487 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0037`; number: 22487 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0037/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0037.json) ## 第 22488 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0038`; number: 22488 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0038/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0038.json) ## 第 22489 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0039`; number: 22489 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0039/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0039.json) ## 第 22490 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0040`; number: 22490 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0040/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0040.json) ## 第 22491 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0041`; number: 22491 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0041/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0041.json) ## 第 22492 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0042`; number: 22492 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0042/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0042.json) ## 第 22493 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0043`; number: 22493 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0043/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0043.json) ## 第 22494 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0044`; number: 22494 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0044/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0044.json) ## 第 22495 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0045`; number: 22495 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0045/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0045.json) ## 第 22496 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0046`; number: 22496 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0046/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0046.json) ## 第 22497 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0047`; number: 22497 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0047/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0047.json) ## 第 22498 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0048`; number: 22498 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0048/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0048.json) ## 第 22499 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0049`; number: 22499 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0049/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0049.json) ## 第 22500 題：下推自動機 - ID: `q-20261014-advance-20261110-r07-pushdown-automaton-0050`; number: 22500 - Processing: second_context_reviewed - MKO: [mko-pushdown-automaton](/zh-Hant/mko/mko-pushdown-automaton/) - Family: [qf-mod41-pda-trace-audit](/zh-Hant/explore/?family=qf-mod41-pda-trace-audit) - Batch: [batch-20261014-advance-20261110-r07-pushdown-automaton-foundations](/zh-Hant/explore/?batch=batch-20261014-advance-20261110-r07-pushdown-automaton-foundations) - [Derivation](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0050/) / [Markdown](/zh-Hant/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r07-pushdown-automaton-0050.json)