{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:AAVSDTLRB3FPCT5EHXVXK7O7PO","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":"78845e2a3839e3d3b069663b9f0d259873d4a3212312c3279f11ca16a8ca2593","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-02-13T02:17:03Z","title_canon_sha256":"1d8d385bd732da2199ae77fb8a54b39e48935db1d7dfc9bc7aa44f6d20de5734"},"schema_version":"1.0","source":{"id":"1402.3021","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.3021","created_at":"2026-05-18T02:59:08Z"},{"alias_kind":"arxiv_version","alias_value":"1402.3021v1","created_at":"2026-05-18T02:59:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.3021","created_at":"2026-05-18T02:59:08Z"},{"alias_kind":"pith_short_12","alias_value":"AAVSDTLRB3FP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AAVSDTLRB3FPCT5E","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AAVSDTLR","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:4fa7daadca750e754e571a9fe2d7f26e12829e906900483e5e749276be870496","target":"graph","created_at":"2026-05-18T02:59: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 focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for such functions has been defined using two-way finite-state transducers, (one-way) cost register automata, and MSO-definable graph transformations. In this paper, we give an algebraic and machine-independent characterization of this class analogous to the definition of regular languages by regular expressions. When the monoid is commutative, we prove that every regular function can be constructed from constant","authors_text":"Adam Freilich, Mukund Raghothaman, Rajeev Alur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-02-13T02:17:03Z","title":"Regular Combinators for String Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.3021","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:ff9cf0a7caf6c5b2b89bc8cfdaf6af1b52abe1f8e7a85540a9895c8ba5582a41","target":"record","created_at":"2026-05-18T02:59: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":"78845e2a3839e3d3b069663b9f0d259873d4a3212312c3279f11ca16a8ca2593","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-02-13T02:17:03Z","title_canon_sha256":"1d8d385bd732da2199ae77fb8a54b39e48935db1d7dfc9bc7aa44f6d20de5734"},"schema_version":"1.0","source":{"id":"1402.3021","kind":"arxiv","version":1}},"canonical_sha256":"002b21cd710ecaf14fa43deb757ddf7bb46aab6a55a67671d8de38518bb8a676","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"002b21cd710ecaf14fa43deb757ddf7bb46aab6a55a67671d8de38518bb8a676","first_computed_at":"2026-05-18T02:59:08.050769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:59:08.050769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t07NG58vwjbpvuK7MGXmsp5kFmPXqQViDnpjSWHgb0htzOchs5MPNGi+B+5YRLB+QP6rMMGuWLvaQlyFfnhSAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:59:08.051367Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.3021","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff9cf0a7caf6c5b2b89bc8cfdaf6af1b52abe1f8e7a85540a9895c8ba5582a41","sha256:4fa7daadca750e754e571a9fe2d7f26e12829e906900483e5e749276be870496"],"state_sha256":"68307a99224c30f2f1e5b49270749603f05ddb78763ea033b76ac9e44136c7b1"}