{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:JJJ5ROSTA47FNRZDYFCA7MVZRB","short_pith_number":"pith:JJJ5ROST","schema_version":"1.0","canonical_sha256":"4a53d8ba53073e56c723c1440fb2b9887b8cb97c03bcb55a4169e1bdcf4582fe","source":{"kind":"arxiv","id":"1506.04059","version":2},"attestation_state":"computed","paper":{"title":"Aperiodic String Transducers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Isma\\\"el Jecker, Luc Dartois, Pierre-Alain Reynier","submitted_at":"2015-06-12T16:18:21Z","abstract_excerpt":"Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (2DFT), streaming string transducers (SST) and MSO definable functions. This result has recently been lifted to FO definable functions, with equivalent representations by means of aperiodic 2DFT and aperiodic 1-bounded SST, extending a well-known result on regular languages. In this paper, we give three direct transformations: i) from 1-bounded SST to 2DFT, ii) from 2DFT to copyless SST, and iii) from k-bounded to 1-bounded SST. We give the complexity of each construction and also "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1506.04059","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-12T16:18:21Z","cross_cats_sorted":[],"title_canon_sha256":"81b0555fc05499cb5edaf336a680275d7d4a6ae4a7665b446f6da8f9be25134b","abstract_canon_sha256":"df3a953bb58ab3669df5addbcec3bea84c0cdcc20514dfb9f0c32470111faaeb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:40.569883Z","signature_b64":"+BVN2I2hrmm1TSYVFPPv89RsdrparXFzp4ypJqwXQ36AittHzq/M2NaBDu5Qla0yjglGanlepN95ebzD3eAhBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a53d8ba53073e56c723c1440fb2b9887b8cb97c03bcb55a4169e1bdcf4582fe","last_reissued_at":"2026-05-18T01:12:40.569494Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:40.569494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Aperiodic String Transducers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Isma\\\"el Jecker, Luc Dartois, Pierre-Alain Reynier","submitted_at":"2015-06-12T16:18:21Z","abstract_excerpt":"Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (2DFT), streaming string transducers (SST) and MSO definable functions. This result has recently been lifted to FO definable functions, with equivalent representations by means of aperiodic 2DFT and aperiodic 1-bounded SST, extending a well-known result on regular languages. In this paper, we give three direct transformations: i) from 1-bounded SST to 2DFT, ii) from 2DFT to copyless SST, and iii) from k-bounded to 1-bounded SST. We give the complexity of each construction and also "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.04059","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.04059","created_at":"2026-05-18T01:12:40.569559+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.04059v2","created_at":"2026-05-18T01:12:40.569559+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.04059","created_at":"2026-05-18T01:12:40.569559+00:00"},{"alias_kind":"pith_short_12","alias_value":"JJJ5ROSTA47F","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"JJJ5ROSTA47FNRZD","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"JJJ5ROST","created_at":"2026-05-18T12:29:27.538025+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB","json":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB.json","graph_json":"https://pith.science/api/pith-number/JJJ5ROSTA47FNRZDYFCA7MVZRB/graph.json","events_json":"https://pith.science/api/pith-number/JJJ5ROSTA47FNRZDYFCA7MVZRB/events.json","paper":"https://pith.science/paper/JJJ5ROST"},"agent_actions":{"view_html":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB","download_json":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB.json","view_paper":"https://pith.science/paper/JJJ5ROST","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.04059&json=true","fetch_graph":"https://pith.science/api/pith-number/JJJ5ROSTA47FNRZDYFCA7MVZRB/graph.json","fetch_events":"https://pith.science/api/pith-number/JJJ5ROSTA47FNRZDYFCA7MVZRB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB/action/storage_attestation","attest_author":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB/action/author_attestation","sign_citation":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB/action/citation_signature","submit_replication":"https://pith.science/pith/JJJ5ROSTA47FNRZDYFCA7MVZRB/action/replication_record"}},"created_at":"2026-05-18T01:12:40.569559+00:00","updated_at":"2026-05-18T01:12:40.569559+00:00"}