{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:4QTH3HM5YIWA6M5BOWD6V5IP3L","short_pith_number":"pith:4QTH3HM5","canonical_record":{"source":{"id":"cs/0701154","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-25T20:46:36Z","cross_cats_sorted":[],"title_canon_sha256":"31c0140300ab1e54c8e49cff97992c9cda20a8495ebd75ea41ba32c9e0317b82","abstract_canon_sha256":"2a43939ca6061892aad3cd567b527f5f75102c9d12972058ddce41d34eab6631"},"schema_version":"1.0"},"canonical_sha256":"e4267d9d9dc22c0f33a17587eaf50fdada46adac5269c0ac6d018cb43e7901c4","source":{"kind":"arxiv","id":"cs/0701154","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701154","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701154v2","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701154","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"4QTH3HM5YIWA","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"4QTH3HM5YIWA6M5B","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"4QTH3HM5","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:4QTH3HM5YIWA6M5BOWD6V5IP3L","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0701154","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-25T20:46:36Z","cross_cats_sorted":[],"title_canon_sha256":"31c0140300ab1e54c8e49cff97992c9cda20a8495ebd75ea41ba32c9e0317b82","abstract_canon_sha256":"2a43939ca6061892aad3cd567b527f5f75102c9d12972058ddce41d34eab6631"},"schema_version":"1.0"},"canonical_sha256":"e4267d9d9dc22c0f33a17587eaf50fdada46adac5269c0ac6d018cb43e7901c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:03.238671Z","signature_b64":"LmYdc88icnKFG+NF73gv8nww934Z1cGc4rJW7DKlHm6r9nbWKorpTE2LYfeddGMaMNOJ4LYC36IZMGH8v09tBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4267d9d9dc22c0f33a17587eaf50fdada46adac5269c0ac6d018cb43e7901c4","last_reissued_at":"2026-05-18T00:53:03.238238Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:03.238238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0701154","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-18T00:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yX25xEdjPNUwl+jrLXizCVkl7IX+Z8DP7cE6c7M/8Gw2R4vbvj3m0RTedmvVs2BITZuTP9VCNtNNjSV6AgvPBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T11:08:36.520576Z"},"content_sha256":"efb81d8038be2dac6fcdc67637785cdb5ef0b26393864fcd6ba28fe83ee0acf1","schema_version":"1.0","event_id":"sha256:efb81d8038be2dac6fcdc67637785cdb5ef0b26393864fcd6ba28fe83ee0acf1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:4QTH3HM5YIWA6M5BOWD6V5IP3L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Meets Algebra: the Case of Regular Languages","license":"","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Denis Therien, Pascal Tesson","submitted_at":"2007-01-25T20:46:36Z","abstract_excerpt":"The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical formalism required to define them. The algebraic point of view on automata is an essential complement of this classification: by providing alternative, algebraic characterizations for the classes, it often yields the only opportunity for the design of algorithms that decide expressibility in some logical fragment.\n  We survey the existing results relating the exp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701154","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-18T00:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0sU0ErW9IolIawMS7NaXnVwMbIK9WHfg36gz08QcJbdVg5VCHdS+fUO75Eaqo2fkkr3eeFw33l1sM2ulLV2zCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T11:08:36.520922Z"},"content_sha256":"b6163b4dc7cba1dcff99c559b07d38fb7817f8ddf4568fa5b911bdeb9ebb4129","schema_version":"1.0","event_id":"sha256:b6163b4dc7cba1dcff99c559b07d38fb7817f8ddf4568fa5b911bdeb9ebb4129"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/bundle.json","state_url":"https://pith.science/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/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-23T11:08:36Z","links":{"resolver":"https://pith.science/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L","bundle":"https://pith.science/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/bundle.json","state":"https://pith.science/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4QTH3HM5YIWA6M5BOWD6V5IP3L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:4QTH3HM5YIWA6M5BOWD6V5IP3L","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":"2a43939ca6061892aad3cd567b527f5f75102c9d12972058ddce41d34eab6631","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-25T20:46:36Z","title_canon_sha256":"31c0140300ab1e54c8e49cff97992c9cda20a8495ebd75ea41ba32c9e0317b82"},"schema_version":"1.0","source":{"id":"cs/0701154","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701154","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701154v2","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701154","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"4QTH3HM5YIWA","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"4QTH3HM5YIWA6M5B","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"4QTH3HM5","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:b6163b4dc7cba1dcff99c559b07d38fb7817f8ddf4568fa5b911bdeb9ebb4129","target":"graph","created_at":"2026-05-18T00:53:03Z","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":"The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical formalism required to define them. The algebraic point of view on automata is an essential complement of this classification: by providing alternative, algebraic characterizations for the classes, it often yields the only opportunity for the design of algorithms that decide expressibility in some logical fragment.\n  We survey the existing results relating the exp","authors_text":"Denis Therien, Pascal Tesson","cross_cats":[],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2007-01-25T20:46:36Z","title":"Logic Meets Algebra: the Case of Regular Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701154","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:efb81d8038be2dac6fcdc67637785cdb5ef0b26393864fcd6ba28fe83ee0acf1","target":"record","created_at":"2026-05-18T00:53:03Z","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":"2a43939ca6061892aad3cd567b527f5f75102c9d12972058ddce41d34eab6631","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-25T20:46:36Z","title_canon_sha256":"31c0140300ab1e54c8e49cff97992c9cda20a8495ebd75ea41ba32c9e0317b82"},"schema_version":"1.0","source":{"id":"cs/0701154","kind":"arxiv","version":2}},"canonical_sha256":"e4267d9d9dc22c0f33a17587eaf50fdada46adac5269c0ac6d018cb43e7901c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4267d9d9dc22c0f33a17587eaf50fdada46adac5269c0ac6d018cb43e7901c4","first_computed_at":"2026-05-18T00:53:03.238238Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:03.238238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LmYdc88icnKFG+NF73gv8nww934Z1cGc4rJW7DKlHm6r9nbWKorpTE2LYfeddGMaMNOJ4LYC36IZMGH8v09tBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:03.238671Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0701154","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efb81d8038be2dac6fcdc67637785cdb5ef0b26393864fcd6ba28fe83ee0acf1","sha256:b6163b4dc7cba1dcff99c559b07d38fb7817f8ddf4568fa5b911bdeb9ebb4129"],"state_sha256":"acb6b12cb4fc58255be82164f39bcc80b23cc4fd6ffaeda18664ad7a60653da1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4jM6gb17/7fiLk+AVvGA2g2AtPPcvMgiTib/JkxCn1Yb26plD9OLDdtg36CF7D5Aezb6aDq69tk7KzvHFMBhBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T11:08:36.522872Z","bundle_sha256":"8fcd311a65c217ae0d5d84035c3e3060a2c473911613fba78e0f4dd243ceabf9"}}