{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KIEXJU7KVLOJG45FHRJMNRQNVD","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":"af83498ecdf00829924d71e15cd635d0bb3bddb4458d8c45fd61d409b3f1a6ef","cross_cats_sorted":["cs.CC","cs.FL","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-06-06T23:42:34Z","title_canon_sha256":"26a5348407bdf60986cd26a8662a4dd06ba03d2db61ecf1df911a8dc5786a09f"},"schema_version":"1.0","source":{"id":"1906.02842","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.02842","created_at":"2026-05-17T23:43:42Z"},{"alias_kind":"arxiv_version","alias_value":"1906.02842v2","created_at":"2026-05-17T23:43:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.02842","created_at":"2026-05-17T23:43:42Z"},{"alias_kind":"pith_short_12","alias_value":"KIEXJU7KVLOJ","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KIEXJU7KVLOJG45F","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KIEXJU7K","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:bf9e604f6e7a00ea50f09e98f534f2aef4703e7d5dd8c4784473bf56d881b911","target":"graph","created_at":"2026-05-17T23:43:42Z","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":"A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a rational relation. This class of semigroups contains previously considered semigroups and groups (Sakarovitch, Epstein et al., Campbell et al.). Membership of a semigroup to this class does not depend on the choice of the generators. These semigroups are rationally presented. Representatives may be computed in exponential time. Their word problem is decidable in","authors_text":"Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer","cross_cats":["cs.CC","cs.FL","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-06-06T23:42:34Z","title":"Quasi-automatic semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.02842","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:7cedb0ed87fbdc810e18e76ccd7535360967ffe7c7c85120992dc8dc5562975d","target":"record","created_at":"2026-05-17T23:43:42Z","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":"af83498ecdf00829924d71e15cd635d0bb3bddb4458d8c45fd61d409b3f1a6ef","cross_cats_sorted":["cs.CC","cs.FL","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2019-06-06T23:42:34Z","title_canon_sha256":"26a5348407bdf60986cd26a8662a4dd06ba03d2db61ecf1df911a8dc5786a09f"},"schema_version":"1.0","source":{"id":"1906.02842","kind":"arxiv","version":2}},"canonical_sha256":"520974d3eaaadc9373a53c52c6c60da8d951f96b4b2f940ea18461aa9f72b6e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"520974d3eaaadc9373a53c52c6c60da8d951f96b4b2f940ea18461aa9f72b6e8","first_computed_at":"2026-05-17T23:43:42.102754Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:42.102754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tZ33JA811kMyWtyJuWwoeBVeAnuBvKvrWc1uf8zxNjKfg6A+j2CbsGcRToOcogVv2g9VRlc2UGNktsYIXryNBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:42.103358Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.02842","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7cedb0ed87fbdc810e18e76ccd7535360967ffe7c7c85120992dc8dc5562975d","sha256:bf9e604f6e7a00ea50f09e98f534f2aef4703e7d5dd8c4784473bf56d881b911"],"state_sha256":"7a7f734ca6f89f45a24c95ae767f311336c80cc75103e854022b234cc0c81e78"}