{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7YKIKM3NBQ4BRGQUTM4EPQ7EWI","short_pith_number":"pith:7YKIKM3N","canonical_record":{"source":{"id":"1812.11927","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-31T18:10:37Z","cross_cats_sorted":[],"title_canon_sha256":"3881064e30f581a534bd217b3812bc360d78c950ec4ac4454aff6156ecc7ae26","abstract_canon_sha256":"26cbf453ccc41ced4c387b88ec2df113ba9538ab9d6be54b6c6b23ba80a32d75"},"schema_version":"1.0"},"canonical_sha256":"fe1485336d0c38189a149b3847c3e4b22a7b92e7341b1aedd9be5178f57d4d90","source":{"kind":"arxiv","id":"1812.11927","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.11927","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1812.11927v2","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11927","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"7YKIKM3NBQ4B","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"7YKIKM3NBQ4BRGQU","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"7YKIKM3N","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7YKIKM3NBQ4BRGQUTM4EPQ7EWI","target":"record","payload":{"canonical_record":{"source":{"id":"1812.11927","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-31T18:10:37Z","cross_cats_sorted":[],"title_canon_sha256":"3881064e30f581a534bd217b3812bc360d78c950ec4ac4454aff6156ecc7ae26","abstract_canon_sha256":"26cbf453ccc41ced4c387b88ec2df113ba9538ab9d6be54b6c6b23ba80a32d75"},"schema_version":"1.0"},"canonical_sha256":"fe1485336d0c38189a149b3847c3e4b22a7b92e7341b1aedd9be5178f57d4d90","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:41.851306Z","signature_b64":"yhralRxYv871JcuXSvWFTRZKfLBMgXVIOTEkRGkn4fy6K1scL0I39PPXn2g1fgWJZ022eUusC3aBb/hj31ByCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe1485336d0c38189a149b3847c3e4b22a7b92e7341b1aedd9be5178f57d4d90","last_reissued_at":"2026-05-17T23:51:41.850857Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:41.850857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.11927","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:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lSupt+ipjR4hM0ZPvb0qe3I+OVTXxMmnlQgf6QCmrOkuBmvzJEEX2Vrmx+wFOhDSjGgvs7kRTlGBEHRh+DdUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T16:13:09.518478Z"},"content_sha256":"e3da1a030bad4fdf3b4dca22f08dd52669d35f216734a37e2dd368f6d56f3462","schema_version":"1.0","event_id":"sha256:e3da1a030bad4fdf3b4dca22f08dd52669d35f216734a37e2dd368f6d56f3462"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7YKIKM3NBQ4BRGQUTM4EPQ7EWI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Berthold Hoffmann, Frank Drewes, Mark Minas","submitted_at":"2018-12-31T18:10:37Z","abstract_excerpt":"Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR grammars, by generalizing the concepts of SLR(1) string parsing to graphs. We formalize the construction of PSR parsers and show that it is correct. PSR parsers run in linear space and time, and are more efficient than the predictive top-down (PTD) parsers recently developed by the authors."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11927","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:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5o5+/onJrJMJ8iQCpbqqRPglSVTo0R/dZVNjlXGR0K6tf/aychOQUwFx1V+1iie65aaOZP+gNbc5+Evq3MBFAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T16:13:09.518814Z"},"content_sha256":"90204b69aa5ede9433860c914c401087124de96d4bba82accc51d1fe1bc82062","schema_version":"1.0","event_id":"sha256:90204b69aa5ede9433860c914c401087124de96d4bba82accc51d1fe1bc82062"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/bundle.json","state_url":"https://pith.science/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/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-29T16:13:09Z","links":{"resolver":"https://pith.science/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI","bundle":"https://pith.science/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/bundle.json","state":"https://pith.science/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7YKIKM3NBQ4BRGQUTM4EPQ7EWI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7YKIKM3NBQ4BRGQUTM4EPQ7EWI","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":"26cbf453ccc41ced4c387b88ec2df113ba9538ab9d6be54b6c6b23ba80a32d75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-31T18:10:37Z","title_canon_sha256":"3881064e30f581a534bd217b3812bc360d78c950ec4ac4454aff6156ecc7ae26"},"schema_version":"1.0","source":{"id":"1812.11927","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.11927","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1812.11927v2","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11927","created_at":"2026-05-17T23:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"7YKIKM3NBQ4B","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"7YKIKM3NBQ4BRGQU","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"7YKIKM3N","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:90204b69aa5ede9433860c914c401087124de96d4bba82accc51d1fe1bc82062","target":"graph","created_at":"2026-05-17T23:51:41Z","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":"Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR grammars, by generalizing the concepts of SLR(1) string parsing to graphs. We formalize the construction of PSR parsers and show that it is correct. PSR parsers run in linear space and time, and are more efficient than the predictive top-down (PTD) parsers recently developed by the authors.","authors_text":"Berthold Hoffmann, Frank Drewes, Mark Minas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-31T18:10:37Z","title":"Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11927","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:e3da1a030bad4fdf3b4dca22f08dd52669d35f216734a37e2dd368f6d56f3462","target":"record","created_at":"2026-05-17T23:51:41Z","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":"26cbf453ccc41ced4c387b88ec2df113ba9538ab9d6be54b6c6b23ba80a32d75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-31T18:10:37Z","title_canon_sha256":"3881064e30f581a534bd217b3812bc360d78c950ec4ac4454aff6156ecc7ae26"},"schema_version":"1.0","source":{"id":"1812.11927","kind":"arxiv","version":2}},"canonical_sha256":"fe1485336d0c38189a149b3847c3e4b22a7b92e7341b1aedd9be5178f57d4d90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe1485336d0c38189a149b3847c3e4b22a7b92e7341b1aedd9be5178f57d4d90","first_computed_at":"2026-05-17T23:51:41.850857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:41.850857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yhralRxYv871JcuXSvWFTRZKfLBMgXVIOTEkRGkn4fy6K1scL0I39PPXn2g1fgWJZ022eUusC3aBb/hj31ByCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:41.851306Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.11927","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3da1a030bad4fdf3b4dca22f08dd52669d35f216734a37e2dd368f6d56f3462","sha256:90204b69aa5ede9433860c914c401087124de96d4bba82accc51d1fe1bc82062"],"state_sha256":"1f81c9ca1481f0e8fdfcf235a8de25afe3d82ae3f311d33ca007f5252c921377"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R+BlM9V9xi0hLs8fxpNs+Sr5xuObG5lpHfymNsptF2qwjV2hcCl8QInOS1lVrmn0LIM05xQ30mUel1nsp4nRBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T16:13:09.520893Z","bundle_sha256":"9fa4259dc84246773978e531d4eaef9b524656ac62a61274e743c1cde529adb2"}}