{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:FVQ6N5RB6VXRASGQYXB5MUPS7A","short_pith_number":"pith:FVQ6N5RB","schema_version":"1.0","canonical_sha256":"2d61e6f621f56f1048d0c5c3d651f2f81e03f97904e621a8aa2b45adb2561b35","source":{"kind":"arxiv","id":"1701.02502","version":1},"attestation_state":"computed","paper":{"title":"Untwisting two-way transducers in elementary time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Anca Muscholl, F\\'elix Baschenis, Gabriele Puppis, Olivier Gauwin","submitted_at":"2017-01-10T10:02:12Z","abstract_excerpt":"Functional transductions realized by two-way transducers (equivalently, by streaming transducers and by MSO transductions) are the natural and standard notion of \"regular\" mappings from words to words. It was shown recently (LICS'13) that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm of different flavor solving the above question, that has double exponential space complexity. We further apply our technique to decide whether the transduction realized by a two-way transducer can"},"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":"1701.02502","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-01-10T10:02:12Z","cross_cats_sorted":[],"title_canon_sha256":"7c1f053974a63b7cb72d63fd0c23e5cb9e5e2b5bf1a80b874920c50372b6f411","abstract_canon_sha256":"d20ffeda2c948a7387a70ddbdf6a69f4420933e9da62deec04b2f794e40dc4c4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:04.108987Z","signature_b64":"x6rTS1ZABBT+w8Vg2RWofx6105qF1aj2GebcjZ8PrMMg4otboa02cL0wPnLdlo9W2Tc6CEWrQV8XybhvkH67Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d61e6f621f56f1048d0c5c3d651f2f81e03f97904e621a8aa2b45adb2561b35","last_reissued_at":"2026-05-18T00:53:04.108379Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:04.108379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Untwisting two-way transducers in elementary time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Anca Muscholl, F\\'elix Baschenis, Gabriele Puppis, Olivier Gauwin","submitted_at":"2017-01-10T10:02:12Z","abstract_excerpt":"Functional transductions realized by two-way transducers (equivalently, by streaming transducers and by MSO transductions) are the natural and standard notion of \"regular\" mappings from words to words. It was shown recently (LICS'13) that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm of different flavor solving the above question, that has double exponential space complexity. We further apply our technique to decide whether the transduction realized by a two-way transducer can"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02502","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":"1701.02502","created_at":"2026-05-18T00:53:04.108494+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.02502v1","created_at":"2026-05-18T00:53:04.108494+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02502","created_at":"2026-05-18T00:53:04.108494+00:00"},{"alias_kind":"pith_short_12","alias_value":"FVQ6N5RB6VXR","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_16","alias_value":"FVQ6N5RB6VXRASGQ","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_8","alias_value":"FVQ6N5RB","created_at":"2026-05-18T12:31:15.632608+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/FVQ6N5RB6VXRASGQYXB5MUPS7A","json":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A.json","graph_json":"https://pith.science/api/pith-number/FVQ6N5RB6VXRASGQYXB5MUPS7A/graph.json","events_json":"https://pith.science/api/pith-number/FVQ6N5RB6VXRASGQYXB5MUPS7A/events.json","paper":"https://pith.science/paper/FVQ6N5RB"},"agent_actions":{"view_html":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A","download_json":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A.json","view_paper":"https://pith.science/paper/FVQ6N5RB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.02502&json=true","fetch_graph":"https://pith.science/api/pith-number/FVQ6N5RB6VXRASGQYXB5MUPS7A/graph.json","fetch_events":"https://pith.science/api/pith-number/FVQ6N5RB6VXRASGQYXB5MUPS7A/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A/action/storage_attestation","attest_author":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A/action/author_attestation","sign_citation":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A/action/citation_signature","submit_replication":"https://pith.science/pith/FVQ6N5RB6VXRASGQYXB5MUPS7A/action/replication_record"}},"created_at":"2026-05-18T00:53:04.108494+00:00","updated_at":"2026-05-18T00:53:04.108494+00:00"}