{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:DZ46IS363QNL3VFN6TFFQJB7A2","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":"508e4cab412cc61743f3108398ee2e0681735bb3ec23d11eda4ac8ef0dfd6396","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-25T21:32:38Z","title_canon_sha256":"b63aa939dcd280e079789ffd88898fb01856c04fb56d3762732680811c033e73"},"schema_version":"1.0","source":{"id":"1304.7029","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7029","created_at":"2026-05-18T03:27:02Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7029v1","created_at":"2026-05-18T03:27:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7029","created_at":"2026-05-18T03:27:02Z"},{"alias_kind":"pith_short_12","alias_value":"DZ46IS363QNL","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"DZ46IS363QNL3VFN","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"DZ46IS36","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:bc19bb44b8ffa5c9ada8aac5aefe4821e666062e3945efabb6f47f1d67377c0a","target":"graph","created_at":"2026-05-18T03:27:02Z","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":"Additive Cost Register Automata (ACRA) map strings to integers using a finite set of registers that are updated using assignments of the form \"x := y + c\" at every step. The corresponding class of additive regular functions has multiple equivalent characterizations, appealing closure properties, and a decidable equivalence problem. In this paper, we solve two decision problems for this model. First, we define the register complexity of an additive regular function to be the minimum number of registers that an ACRA needs to compute it. We characterize the register complexity by a necessary and ","authors_text":"Mukund Raghothaman, Rajeev Alur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-25T21:32:38Z","title":"Decision Problems for Additive Regular Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7029","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:de7eacc24f6cc5c32070b36de6ff5d8c76198587d6ed615c38c2dcd93bfa6e87","target":"record","created_at":"2026-05-18T03:27:02Z","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":"508e4cab412cc61743f3108398ee2e0681735bb3ec23d11eda4ac8ef0dfd6396","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-25T21:32:38Z","title_canon_sha256":"b63aa939dcd280e079789ffd88898fb01856c04fb56d3762732680811c033e73"},"schema_version":"1.0","source":{"id":"1304.7029","kind":"arxiv","version":1}},"canonical_sha256":"1e79e44b7edc1abdd4adf4ca58243f069e00f6a4cbccd23184745ac5d546069c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e79e44b7edc1abdd4adf4ca58243f069e00f6a4cbccd23184745ac5d546069c","first_computed_at":"2026-05-18T03:27:02.767279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:02.767279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GUtwpdxNhkuk+J+1icDkGNb5iZuMeFNJg3Xuf59FHDTUfxhQaE/knfzwq1aO6Otld+AYaqaZHx2sML4t20JdBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:02.767733Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.7029","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de7eacc24f6cc5c32070b36de6ff5d8c76198587d6ed615c38c2dcd93bfa6e87","sha256:bc19bb44b8ffa5c9ada8aac5aefe4821e666062e3945efabb6f47f1d67377c0a"],"state_sha256":"e4c0ac6be248491286835daaa35e69db0dfdc1615e5f66a022155c6a9388ef00"}