{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:PND6OUNVR7LZ6GG323JZ5ND5HT","short_pith_number":"pith:PND6OUNV","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"},"canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","source":{"kind":"arxiv","id":"1902.11263","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.11263","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1902.11263v1","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.11263","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"PND6OUNVR7LZ","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PND6OUNVR7LZ6GG3","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PND6OUNV","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:PND6OUNVR7LZ6GG323JZ5ND5HT","target":"record","payload":{"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"},"canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","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"},"source_kind":"arxiv","source_id":"1902.11263","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CDImMzMghetNuxYPvc3s0N9jcgwhIDb1bdFnEhkxhVXEYdzQhESk2Gr0659DNCkoC8DQtCe+wXtTihkh+YRCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:28:21.606141Z"},"content_sha256":"6772227ab2ccff47d2f9a07738b036c551137384b5a6eb9ee83bae789df749ac","schema_version":"1.0","event_id":"sha256:6772227ab2ccff47d2f9a07738b036c551137384b5a6eb9ee83bae789df749ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:PND6OUNVR7LZ6GG323JZ5ND5HT","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vKQ87BDfJEtfPMlLmUEG52Tjc8VJT3VJ2mPN9dN0pBZ/sGThJ7sAQmV/gYS9ftHYXcS/0Y5ZUAu0D0MB4sS8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:28:21.606666Z"},"content_sha256":"7133a3f444ccdb242727b39ad51a5121bf07c7441e53837e75a7fdc18a955288","schema_version":"1.0","event_id":"sha256:7133a3f444ccdb242727b39ad51a5121bf07c7441e53837e75a7fdc18a955288"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/bundle.json","state_url":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T00:28:21Z","links":{"resolver":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT","bundle":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/bundle.json","state":"https://pith.science/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PND6OUNVR7LZ6GG323JZ5ND5HT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PND6OUNVR7LZ6GG323JZ5ND5HT","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":"4522749cbb9b3eec60a1f37d8a62a7a846be4ecafb5595d38ab4eb59e69fd3c5","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-28T18:10:59Z","title_canon_sha256":"7b1cf4c879a42b8618ae1fcd65c8bcc1d5b01b4d6b6fa1a6266fd2f2b5f4f450"},"schema_version":"1.0","source":{"id":"1902.11263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.11263","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1902.11263v1","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.11263","created_at":"2026-05-17T23:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"PND6OUNVR7LZ","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PND6OUNVR7LZ6GG3","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PND6OUNV","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:7133a3f444ccdb242727b39ad51a5121bf07c7441e53837e75a7fdc18a955288","target":"graph","created_at":"2026-05-17T23:52:25Z","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":"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","authors_text":"Didier Villevalois, Pierre-Alain Reynier","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-28T18:10:59Z","title":"Sequentiality of String-to-Context Transducers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.11263","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:6772227ab2ccff47d2f9a07738b036c551137384b5a6eb9ee83bae789df749ac","target":"record","created_at":"2026-05-17T23:52:25Z","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":"4522749cbb9b3eec60a1f37d8a62a7a846be4ecafb5595d38ab4eb59e69fd3c5","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-28T18:10:59Z","title_canon_sha256":"7b1cf4c879a42b8618ae1fcd65c8bcc1d5b01b4d6b6fa1a6266fd2f2b5f4f450"},"schema_version":"1.0","source":{"id":"1902.11263","kind":"arxiv","version":1}},"canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b47e751b58fd79f18dbd6d39eb47d3cd794aeda9882a5acfe2cec303f63be6b","first_computed_at":"2026-05-17T23:52:25.080976Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:25.080976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Rt8u+pG4BoRH2xm0PY+QH1iG2wkYK7myp5O8fBgdP8F0DgPmMvGCMyvADjccnz4sg+iSCw8c0/M7odyN4MaxBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:25.081485Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.11263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6772227ab2ccff47d2f9a07738b036c551137384b5a6eb9ee83bae789df749ac","sha256:7133a3f444ccdb242727b39ad51a5121bf07c7441e53837e75a7fdc18a955288"],"state_sha256":"3d266918681805ac531ef0a2b43bc215da98bea52979d18fb21ae5168391122b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c3IFvX+52yxyoQFGFLOChADwjMvKaJ7w2k5gSffuAQboTb9lZSsHqKWZcgsGjAozZ3ABAe7Xnw2veC1Byc7oDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T00:28:21.608739Z","bundle_sha256":"49e5f7904622357c90b29cf93f7ff28ac768882b40f8e2e4660ddd27329fea0e"}}