{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WUDAVUGYBWH2N3YQFWM5PMDPXK","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":"735795ff2b9997bcd69c3f06c8728b2fee9eb493411746a4d3c2bc5bd841648f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-08-06T12:30:09Z","title_canon_sha256":"83d4d552e2c21f0cd2f17d192051baba3ceadf75de0893c3f368bc89654808ce"},"schema_version":"1.0","source":{"id":"1408.1258","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1258","created_at":"2026-05-18T02:30:08Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1258v2","created_at":"2026-05-18T02:30:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1258","created_at":"2026-05-18T02:30:08Z"},{"alias_kind":"pith_short_12","alias_value":"WUDAVUGYBWH2","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WUDAVUGYBWH2N3YQ","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WUDAVUGY","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:55734e0d277b3cca2e1d84e04fbaa2701d8d804852caabd3e5df16326d672c81","target":"graph","created_at":"2026-05-18T02:30:08Z","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 report on simulation, hierarchy, and decidability results for Practical Regular Expressions (PRE), which may include back references in addition to the standard operations union, concatenation, and star.\n  The following results are obtained:\n  PRE can be simulated by the classical model of nondeterministic finite automata with sensing one-way heads. The number of heads depends on the number of different variables in the expressions.\n  A space bound O(n log m) for matching a text of length m with a PRE with n variables based on the previous simulation. This improves the bound O(nm) from (C\\^","authors_text":"Holger Petersen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-08-06T12:30:09Z","title":"On Practical Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1258","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:322ce54649e03c977e01e16eff62ae0442c79894d7fae832c9c827fea6671ef7","target":"record","created_at":"2026-05-18T02:30:08Z","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":"735795ff2b9997bcd69c3f06c8728b2fee9eb493411746a4d3c2bc5bd841648f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-08-06T12:30:09Z","title_canon_sha256":"83d4d552e2c21f0cd2f17d192051baba3ceadf75de0893c3f368bc89654808ce"},"schema_version":"1.0","source":{"id":"1408.1258","kind":"arxiv","version":2}},"canonical_sha256":"b5060ad0d80d8fa6ef102d99d7b06fbaabea950774d2c2ffde961fcbd6d96ceb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5060ad0d80d8fa6ef102d99d7b06fbaabea950774d2c2ffde961fcbd6d96ceb","first_computed_at":"2026-05-18T02:30:08.051805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:08.051805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NAQP9pDR3CD8XCHsKaSnivPkTkWG7EmKniXV7txI1SPhNs/M1bDBKSvRXhbEu56Gdok1eFQR+xr6nmzx2+OABA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:08.052392Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.1258","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:322ce54649e03c977e01e16eff62ae0442c79894d7fae832c9c827fea6671ef7","sha256:55734e0d277b3cca2e1d84e04fbaa2701d8d804852caabd3e5df16326d672c81"],"state_sha256":"2afd9a62fbf0087741643575ff57d8698773649516830212215672f61c1e7b70"}