{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:AKFBXALGEIQD7S7FHMI5TIPP3K","short_pith_number":"pith:AKFBXALG","canonical_record":{"source":{"id":"1205.1825","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-08T20:59:33Z","cross_cats_sorted":[],"title_canon_sha256":"df83eb44c9fce49490856f29d61791d49150ab31ac392d5432d39e06ecf3c7c7","abstract_canon_sha256":"fd8be92ae4c6090234d18df431582633d056ff4187dceba1ac75db540c093335"},"schema_version":"1.0"},"canonical_sha256":"028a1b816622203fcbe53b11d9a1efda89ab00f40d3ada411825267b13da1c67","source":{"kind":"arxiv","id":"1205.1825","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.1825","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"arxiv_version","alias_value":"1205.1825v3","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.1825","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"pith_short_12","alias_value":"AKFBXALGEIQD","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AKFBXALGEIQD7S7F","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AKFBXALG","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:AKFBXALGEIQD7S7FHMI5TIPP3K","target":"record","payload":{"canonical_record":{"source":{"id":"1205.1825","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-08T20:59:33Z","cross_cats_sorted":[],"title_canon_sha256":"df83eb44c9fce49490856f29d61791d49150ab31ac392d5432d39e06ecf3c7c7","abstract_canon_sha256":"fd8be92ae4c6090234d18df431582633d056ff4187dceba1ac75db540c093335"},"schema_version":"1.0"},"canonical_sha256":"028a1b816622203fcbe53b11d9a1efda89ab00f40d3ada411825267b13da1c67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:38.282927Z","signature_b64":"aAhWfA6NPVqKICww6VIOLirKjQ8vRsczpeKaMGtxgBEi0FkcpGkHW7y1j/AvX2V2GRllrcoBQ/QfpDProxNDDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"028a1b816622203fcbe53b11d9a1efda89ab00f40d3ada411825267b13da1c67","last_reissued_at":"2026-05-18T03:52:38.282342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:38.282342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.1825","source_version":3,"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-18T03:52:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b6DwrVJ3LDfE1owDJ7vN1BMGELQ1B5q3eelb1WMPEr+Dnq6EQpv9j0fGKuyQmkIkbsF17gv923g4ibhVFELqAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:11:52.816310Z"},"content_sha256":"87e862e89fc4ec0ec86c8a53000a4c8f73f45fd38b4b5ab0cf1d1bf3481136b6","schema_version":"1.0","event_id":"sha256:87e862e89fc4ec0ec86c8a53000a4c8f73f45fd38b4b5ab0cf1d1bf3481136b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:AKFBXALGEIQD7S7FHMI5TIPP3K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Derivatives of Approximate Regular Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Hadrien Jeanne, Jean-Marc Champarnaud, Ludovic Mignot","submitted_at":"2012-05-08T20:59:33Z","abstract_excerpt":"Our aim is to construct a finite automaton recognizing the set of words that are at a bounded distance from some word of a given regular language. We define new regular operators, the similarity operators, based on a generalization of the notion of distance and we introduce the family of regular expressions extended to similarity operators, that we call AREs (Approximate Regular Expressions). We set formulae to compute the Brzozowski derivatives and the Antimirov derivatives of an ARE, which allows us to give a solution to the ARE membership problem and to provide the construction of two recog"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.1825","kind":"arxiv","version":3},"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-18T03:52:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"alIjTajPp5D0VMCzGUSQ7AAJYAGWIbpsdq4Qs7GbzjMO0nDnsCSQrcPDUVAqXMHka6632OzXawY6C0nARgflDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:11:52.816992Z"},"content_sha256":"8c4054c7f60222bcd265e3c4b66b81b02d7d43368f7305d8172d8dc4af3ba8e8","schema_version":"1.0","event_id":"sha256:8c4054c7f60222bcd265e3c4b66b81b02d7d43368f7305d8172d8dc4af3ba8e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/bundle.json","state_url":"https://pith.science/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/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-05-27T21:11:52Z","links":{"resolver":"https://pith.science/pith/AKFBXALGEIQD7S7FHMI5TIPP3K","bundle":"https://pith.science/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/bundle.json","state":"https://pith.science/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AKFBXALGEIQD7S7FHMI5TIPP3K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:AKFBXALGEIQD7S7FHMI5TIPP3K","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":"fd8be92ae4c6090234d18df431582633d056ff4187dceba1ac75db540c093335","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-08T20:59:33Z","title_canon_sha256":"df83eb44c9fce49490856f29d61791d49150ab31ac392d5432d39e06ecf3c7c7"},"schema_version":"1.0","source":{"id":"1205.1825","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.1825","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"arxiv_version","alias_value":"1205.1825v3","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.1825","created_at":"2026-05-18T03:52:38Z"},{"alias_kind":"pith_short_12","alias_value":"AKFBXALGEIQD","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AKFBXALGEIQD7S7F","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AKFBXALG","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:8c4054c7f60222bcd265e3c4b66b81b02d7d43368f7305d8172d8dc4af3ba8e8","target":"graph","created_at":"2026-05-18T03:52:38Z","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":"Our aim is to construct a finite automaton recognizing the set of words that are at a bounded distance from some word of a given regular language. We define new regular operators, the similarity operators, based on a generalization of the notion of distance and we introduce the family of regular expressions extended to similarity operators, that we call AREs (Approximate Regular Expressions). We set formulae to compute the Brzozowski derivatives and the Antimirov derivatives of an ARE, which allows us to give a solution to the ARE membership problem and to provide the construction of two recog","authors_text":"Hadrien Jeanne, Jean-Marc Champarnaud, Ludovic Mignot","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-08T20:59:33Z","title":"Derivatives of Approximate Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.1825","kind":"arxiv","version":3},"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:87e862e89fc4ec0ec86c8a53000a4c8f73f45fd38b4b5ab0cf1d1bf3481136b6","target":"record","created_at":"2026-05-18T03:52:38Z","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":"fd8be92ae4c6090234d18df431582633d056ff4187dceba1ac75db540c093335","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-08T20:59:33Z","title_canon_sha256":"df83eb44c9fce49490856f29d61791d49150ab31ac392d5432d39e06ecf3c7c7"},"schema_version":"1.0","source":{"id":"1205.1825","kind":"arxiv","version":3}},"canonical_sha256":"028a1b816622203fcbe53b11d9a1efda89ab00f40d3ada411825267b13da1c67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"028a1b816622203fcbe53b11d9a1efda89ab00f40d3ada411825267b13da1c67","first_computed_at":"2026-05-18T03:52:38.282342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:38.282342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aAhWfA6NPVqKICww6VIOLirKjQ8vRsczpeKaMGtxgBEi0FkcpGkHW7y1j/AvX2V2GRllrcoBQ/QfpDProxNDDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:38.282927Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.1825","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87e862e89fc4ec0ec86c8a53000a4c8f73f45fd38b4b5ab0cf1d1bf3481136b6","sha256:8c4054c7f60222bcd265e3c4b66b81b02d7d43368f7305d8172d8dc4af3ba8e8"],"state_sha256":"dae07b996466b1daed1a25952159bdd3136dea2475fafb38cc02f0391a6c5910"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FicpzVzgYjDWJv/20Y1ryiOCCrJRvATa+EURzmdn9GJtOOysP1MaAql+dMxgRX8f4HbEjev9EPc2D9xLGl+pCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:11:52.819930Z","bundle_sha256":"b289ec9040c513f95692cfacc25088eae54d457aaab0ee230ff64ffaecb0e2c8"}}