{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:OCHTBDZZHAIYZBKL4OXSBWHW5R","short_pith_number":"pith:OCHTBDZZ","canonical_record":{"source":{"id":"1705.09732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-26T22:22:01Z","cross_cats_sorted":[],"title_canon_sha256":"5887c832e465ba6b80429f043ab48a8bc758783a8beadf4e554d8768a232171c","abstract_canon_sha256":"7fc5230f33e796c2e8d92a0e2d18c48b68672bcee548e99c37f49dbbf59d1b25"},"schema_version":"1.0"},"canonical_sha256":"708f308f3938118c854be3af20d8f6ec68d9d8a70bfe2a468548609ebd9946b4","source":{"kind":"arxiv","id":"1705.09732","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09732","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09732v2","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09732","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"OCHTBDZZHAIY","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OCHTBDZZHAIYZBKL","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OCHTBDZZ","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:OCHTBDZZHAIYZBKL4OXSBWHW5R","target":"record","payload":{"canonical_record":{"source":{"id":"1705.09732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-26T22:22:01Z","cross_cats_sorted":[],"title_canon_sha256":"5887c832e465ba6b80429f043ab48a8bc758783a8beadf4e554d8768a232171c","abstract_canon_sha256":"7fc5230f33e796c2e8d92a0e2d18c48b68672bcee548e99c37f49dbbf59d1b25"},"schema_version":"1.0"},"canonical_sha256":"708f308f3938118c854be3af20d8f6ec68d9d8a70bfe2a468548609ebd9946b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:54.878606Z","signature_b64":"i5H1RKPt6h+tSVNfEjD/9drJgXk8+YpnJYu2OdruzRZtCwf/YNwzN2G+A6XSV2Zh0IwQFcCLigBcIi13twnbBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"708f308f3938118c854be3af20d8f6ec68d9d8a70bfe2a468548609ebd9946b4","last_reissued_at":"2026-05-17T23:51:54.878160Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:54.878160Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.09732","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rWCRnjvTzX6fR4/9zbqM49ZaU3VXxqKWqiWU4jVK92XfjU6ySsZmuscW1ntRQL1E22NRWWPl7JGRusIJtFpfDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T21:19:42.999781Z"},"content_sha256":"cec6e4ec9d9e37bb53b9006a62da5b7c2303746bff657e61dccea6eb1c59ad2f","schema_version":"1.0","event_id":"sha256:cec6e4ec9d9e37bb53b9006a62da5b7c2303746bff657e61dccea6eb1c59ad2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:OCHTBDZZHAIYZBKL4OXSBWHW5R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Ian McQuillan, Oscar H. Ibarra","submitted_at":"2017-05-26T22:22:01Z","abstract_excerpt":"We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness problem. (2) The nondeterministic version has an undecidable membership problem and emptiness problem. There are many models of accepting devices for which there is no difference with these problems between deterministic and nondeterministic versions, and the same holds for the emptiness problem. As far as we know, the model we introduce above is the first on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09732","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ua47mYfQFINtBoGuv4nuCCS0+5M/ueeR9h9gM+CiTxIfYgx9FGapXIEW/WYSQojSwUQcPdqfOtYF5qGLaYIuCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T21:19:43.000118Z"},"content_sha256":"51b36cbc18d563681f0cd69d41ff3a075351f25638ee53dc47d412b1b03e8042","schema_version":"1.0","event_id":"sha256:51b36cbc18d563681f0cd69d41ff3a075351f25638ee53dc47d412b1b03e8042"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/bundle.json","state_url":"https://pith.science/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-24T21:19:43Z","links":{"resolver":"https://pith.science/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R","bundle":"https://pith.science/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/bundle.json","state":"https://pith.science/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCHTBDZZHAIYZBKL4OXSBWHW5R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OCHTBDZZHAIYZBKL4OXSBWHW5R","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7fc5230f33e796c2e8d92a0e2d18c48b68672bcee548e99c37f49dbbf59d1b25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-26T22:22:01Z","title_canon_sha256":"5887c832e465ba6b80429f043ab48a8bc758783a8beadf4e554d8768a232171c"},"schema_version":"1.0","source":{"id":"1705.09732","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09732","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09732v2","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09732","created_at":"2026-05-17T23:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"OCHTBDZZHAIY","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OCHTBDZZHAIYZBKL","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OCHTBDZZ","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:51b36cbc18d563681f0cd69d41ff3a075351f25638ee53dc47d412b1b03e8042","target":"graph","created_at":"2026-05-17T23:51:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness problem. (2) The nondeterministic version has an undecidable membership problem and emptiness problem. There are many models of accepting devices for which there is no difference with these problems between deterministic and nondeterministic versions, and the same holds for the emptiness problem. As far as we know, the model we introduce above is the first on","authors_text":"Ian McQuillan, Oscar H. Ibarra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-26T22:22:01Z","title":"Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09732","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:cec6e4ec9d9e37bb53b9006a62da5b7c2303746bff657e61dccea6eb1c59ad2f","target":"record","created_at":"2026-05-17T23:51:54Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7fc5230f33e796c2e8d92a0e2d18c48b68672bcee548e99c37f49dbbf59d1b25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-26T22:22:01Z","title_canon_sha256":"5887c832e465ba6b80429f043ab48a8bc758783a8beadf4e554d8768a232171c"},"schema_version":"1.0","source":{"id":"1705.09732","kind":"arxiv","version":2}},"canonical_sha256":"708f308f3938118c854be3af20d8f6ec68d9d8a70bfe2a468548609ebd9946b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"708f308f3938118c854be3af20d8f6ec68d9d8a70bfe2a468548609ebd9946b4","first_computed_at":"2026-05-17T23:51:54.878160Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:54.878160Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i5H1RKPt6h+tSVNfEjD/9drJgXk8+YpnJYu2OdruzRZtCwf/YNwzN2G+A6XSV2Zh0IwQFcCLigBcIi13twnbBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:54.878606Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.09732","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cec6e4ec9d9e37bb53b9006a62da5b7c2303746bff657e61dccea6eb1c59ad2f","sha256:51b36cbc18d563681f0cd69d41ff3a075351f25638ee53dc47d412b1b03e8042"],"state_sha256":"f31afa81b643a532db89b68a321f95619eda7a1b8dc259e9be856e7bacd1e239"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0jHf7x3pUHCuzJMLbm3EYrljPZd4XpkZY4WhsLMBrFsERmpuGGcZR38AESE66TKRjwLYM2NvulTODv5ERG7SCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T21:19:43.001996Z","bundle_sha256":"8d7af3bbcc7127066347de9473b15e03e5273235a0928738bfa20deb6c12732d"}}