{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:A4Z4K6DEUH5GMDM2LYBBPM3KNP","short_pith_number":"pith:A4Z4K6DE","canonical_record":{"source":{"id":"1407.1513","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-07-06T16:26:57Z","cross_cats_sorted":[],"title_canon_sha256":"8870fb1fbf6afd8bce818f1bc391ffd95b6717d604156bd11015f6d38cb25633","abstract_canon_sha256":"bb552b16c3957dbb1ccfef9bf4dfc59aa23de713e89f71e180bfb1cb8f2d0c0d"},"schema_version":"1.0"},"canonical_sha256":"0733c57864a1fa660d9a5e0217b36a6bcb6995a57f1eba59b98f6bb2d96df730","source":{"kind":"arxiv","id":"1407.1513","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1513","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1513v1","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1513","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"pith_short_12","alias_value":"A4Z4K6DEUH5G","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A4Z4K6DEUH5GMDM2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A4Z4K6DE","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:A4Z4K6DEUH5GMDM2LYBBPM3KNP","target":"record","payload":{"canonical_record":{"source":{"id":"1407.1513","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-07-06T16:26:57Z","cross_cats_sorted":[],"title_canon_sha256":"8870fb1fbf6afd8bce818f1bc391ffd95b6717d604156bd11015f6d38cb25633","abstract_canon_sha256":"bb552b16c3957dbb1ccfef9bf4dfc59aa23de713e89f71e180bfb1cb8f2d0c0d"},"schema_version":"1.0"},"canonical_sha256":"0733c57864a1fa660d9a5e0217b36a6bcb6995a57f1eba59b98f6bb2d96df730","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:16.369487Z","signature_b64":"TKKyUH3prwyCEFE7Arva7euMKuNc4MOeZjHrCvWaznjaB/yS5tW05YoAcyQ69NMGrYbxPMgbsIrHteQ2rxpaAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0733c57864a1fa660d9a5e0217b36a6bcb6995a57f1eba59b98f6bb2d96df730","last_reissued_at":"2026-05-18T02:48:16.368994Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:16.368994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.1513","source_version":1,"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-18T02:48:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KmHiSpqQ1E0EaZWxpB3Ml7Jsj/mTLBdym9e+VZnMi83+bFS/azwLM/MM99seOSNNBo0WwxDyhDKJ345XZ2uQCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T15:09:49.634154Z"},"content_sha256":"61eb838b181ba87a6940b27bff6888b3bb3bac72488b5653ec93d1598389274f","schema_version":"1.0","event_id":"sha256:61eb838b181ba87a6940b27bff6888b3bb3bac72488b5653ec93d1598389274f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:A4Z4K6DEUH5GMDM2LYBBPM3KNP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Computation of Distances for Probabilistic Context-Free Grammars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Colin de la Higuera, James Scicluna, Mark-Jan Nederhof","submitted_at":"2014-07-06T16:26:57Z","abstract_excerpt":"Probabilistic context-free grammars (PCFGs) are used to define distributions over strings, and are powerful modelling tools in a number of areas, including natural language processing, software engineering, model checking, bio-informatics, and pattern recognition. A common important question is that of comparing the distributions generated or modelled by these grammars: this is done through checking language equivalence and computing distances. Two PCFGs are language equivalent if every string has identical probability with both grammars. This also means that the distance (whichever norm is us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1513","kind":"arxiv","version":1},"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-18T02:48:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ipQxsZyTq+AoufTEnsIftllXdJUVaJf9nheKwzyCyhAeNZAJLwWE2LE8YioSDRArmVYZfZpyJnvWSbnvukaFDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T15:09:49.634802Z"},"content_sha256":"8d522d4b93abdbf87f73dea4b3b53ebba21365e7dec5bfb29e5cb782c7a1bb6b","schema_version":"1.0","event_id":"sha256:8d522d4b93abdbf87f73dea4b3b53ebba21365e7dec5bfb29e5cb782c7a1bb6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/bundle.json","state_url":"https://pith.science/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/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-04T15:09:49Z","links":{"resolver":"https://pith.science/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP","bundle":"https://pith.science/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/bundle.json","state":"https://pith.science/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A4Z4K6DEUH5GMDM2LYBBPM3KNP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:A4Z4K6DEUH5GMDM2LYBBPM3KNP","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":"bb552b16c3957dbb1ccfef9bf4dfc59aa23de713e89f71e180bfb1cb8f2d0c0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-07-06T16:26:57Z","title_canon_sha256":"8870fb1fbf6afd8bce818f1bc391ffd95b6717d604156bd11015f6d38cb25633"},"schema_version":"1.0","source":{"id":"1407.1513","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1513","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1513v1","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1513","created_at":"2026-05-18T02:48:16Z"},{"alias_kind":"pith_short_12","alias_value":"A4Z4K6DEUH5G","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A4Z4K6DEUH5GMDM2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A4Z4K6DE","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:8d522d4b93abdbf87f73dea4b3b53ebba21365e7dec5bfb29e5cb782c7a1bb6b","target":"graph","created_at":"2026-05-18T02:48:16Z","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":"Probabilistic context-free grammars (PCFGs) are used to define distributions over strings, and are powerful modelling tools in a number of areas, including natural language processing, software engineering, model checking, bio-informatics, and pattern recognition. A common important question is that of comparing the distributions generated or modelled by these grammars: this is done through checking language equivalence and computing distances. Two PCFGs are language equivalent if every string has identical probability with both grammars. This also means that the distance (whichever norm is us","authors_text":"Colin de la Higuera, James Scicluna, Mark-Jan Nederhof","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-07-06T16:26:57Z","title":"On the Computation of Distances for Probabilistic Context-Free Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1513","kind":"arxiv","version":1},"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:61eb838b181ba87a6940b27bff6888b3bb3bac72488b5653ec93d1598389274f","target":"record","created_at":"2026-05-18T02:48:16Z","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":"bb552b16c3957dbb1ccfef9bf4dfc59aa23de713e89f71e180bfb1cb8f2d0c0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-07-06T16:26:57Z","title_canon_sha256":"8870fb1fbf6afd8bce818f1bc391ffd95b6717d604156bd11015f6d38cb25633"},"schema_version":"1.0","source":{"id":"1407.1513","kind":"arxiv","version":1}},"canonical_sha256":"0733c57864a1fa660d9a5e0217b36a6bcb6995a57f1eba59b98f6bb2d96df730","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0733c57864a1fa660d9a5e0217b36a6bcb6995a57f1eba59b98f6bb2d96df730","first_computed_at":"2026-05-18T02:48:16.368994Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:16.368994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TKKyUH3prwyCEFE7Arva7euMKuNc4MOeZjHrCvWaznjaB/yS5tW05YoAcyQ69NMGrYbxPMgbsIrHteQ2rxpaAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:16.369487Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.1513","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61eb838b181ba87a6940b27bff6888b3bb3bac72488b5653ec93d1598389274f","sha256:8d522d4b93abdbf87f73dea4b3b53ebba21365e7dec5bfb29e5cb782c7a1bb6b"],"state_sha256":"ca2a0d29fe19514cf272af2a1eb6dcea63bcaa591209758cb4ff6532c1f1ee99"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jCn+nNwiDKF3CcfbytD2XFBu0JhNHltIrYYlTZvZpm9NAilEDLu0xWG1YRPhtAylWwqbrJCzfR1tm7aOipChBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T15:09:49.638861Z","bundle_sha256":"137faaced2c9ff72a8784820c77ebc9b1838b6c787381dd671ab77d7127f0b80"}}