{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:PND6OUNVR7LZ6GG323JZ5ND5HT","short_pith_number":"pith:PND6OUNV","schema_version":"1.0","canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","source":{"kind":"arxiv","id":"1902.11263","version":1},"attestation_state":"computed","paper":{"title":"Sequentiality of String-to-Context Transducers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Didier Villevalois, Pierre-Alain Reynier","submitted_at":"2019-02-28T18:10:59Z","abstract_excerpt":"Transducers extend finite state automata with outputs, and describe transformations from strings to strings. Sequential transducers, which have a deterministic behaviour regarding their input, are of particular interest. However, unlike finite-state automata, not every transducer can be made sequential. The seminal work of Choffrut allows to characterise, amongst the functional one-way transducers, the ones that admit an equivalent sequential transducer. In this work, we extend the results of Choffrut to the class of transducers that produce their output string by adding simultaneously, at eac"},"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":"1902.11263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-28T18:10:59Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7b1cf4c879a42b8618ae1fcd65c8bcc1d5b01b4d6b6fa1a6266fd2f2b5f4f450","abstract_canon_sha256":"4522749cbb9b3eec60a1f37d8a62a7a846be4ecafb5595d38ab4eb59e69fd3c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:25.081485Z","signature_b64":"Rt8u+pG4BoRH2xm0PY+QH1iG2wkYK7myp5O8fBgdP8F0DgPmMvGCMyvADjccnz4sg+iSCw8c0/M7odyN4MaxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","last_reissued_at":"2026-05-17T23:52:25.080976Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:25.080976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sequentiality of String-to-Context Transducers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Didier Villevalois, Pierre-Alain Reynier","submitted_at":"2019-02-28T18:10:59Z","abstract_excerpt":"Transducers extend finite state automata with outputs, and describe transformations from strings to strings. Sequential transducers, which have a deterministic behaviour regarding their input, are of particular interest. However, unlike finite-state automata, not every transducer can be made sequential. The seminal work of Choffrut allows to characterise, amongst the functional one-way transducers, the ones that admit an equivalent sequential transducer. In this work, we extend the results of Choffrut to the class of transducers that produce their output string by adding simultaneously, at eac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.11263","kind":"arxiv","version":1},"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":"1902.11263","created_at":"2026-05-17T23:52:25.081052+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.11263v1","created_at":"2026-05-17T23:52:25.081052+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.11263","created_at":"2026-05-17T23:52:25.081052+00:00"},{"alias_kind":"pith_short_12","alias_value":"PND6OUNVR7LZ","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"PND6OUNVR7LZ6GG3","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"PND6OUNV","created_at":"2026-05-18T12:33:24.271573+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/PND6OUNVR7LZ6GG323JZ5ND5HT","json":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT.json","graph_json":"https://pith.science/api/pith-number/PND6OUNVR7LZ6GG323JZ5ND5HT/graph.json","events_json":"https://pith.science/api/pith-number/PND6OUNVR7LZ6GG323JZ5ND5HT/events.json","paper":"https://pith.science/paper/PND6OUNV"},"agent_actions":{"view_html":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT","download_json":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT.json","view_paper":"https://pith.science/paper/PND6OUNV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.11263&json=true","fetch_graph":"https://pith.science/api/pith-number/PND6OUNVR7LZ6GG323JZ5ND5HT/graph.json","fetch_events":"https://pith.science/api/pith-number/PND6OUNVR7LZ6GG323JZ5ND5HT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/action/storage_attestation","attest_author":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/action/author_attestation","sign_citation":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/action/citation_signature","submit_replication":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/action/replication_record"}},"created_at":"2026-05-17T23:52:25.081052+00:00","updated_at":"2026-05-17T23:52:25.081052+00:00"}