{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"q":"q-20261014-advance-20261110-r07-pushdown-automaton-0082"},"total":1,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261014-advance-20261110-r07-pushdown-automaton-0082","number":22432,"title":{"zh-Hant":"第 22432 題：下推自動機","en":"Question 22432: A Bounded PDA No-Hit Cannot Certify Rejection"},"family_id":"qf-mod41-pda-bounded-search-boundary","batch_id":"batch-20261014-advance-20261110-r07-pushdown-automaton-foundations","mko_ids":["mko-pushdown-automaton"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"505b7c13b73ba5f1f0f63856c64e5e7a96bd78358d7c05c9422a2a3f8c8c97bf","derivation_sha256":"5df2a3f0f5a50e0cbf83b01e0be66caaa3c0711b4e6869bc28dbc9c5ad4e9904"}]}