{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FIYPWPBWHBTW7JYZAC2I3V6MQB","short_pith_number":"pith:FIYPWPBW","canonical_record":{"source":{"id":"1802.02094","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-02-05T16:55:48Z","cross_cats_sorted":[],"title_canon_sha256":"7f3cf013a948cd491c3870f2897355ec92ed726c779c551a87d13bd48a1efbc1","abstract_canon_sha256":"02a6ed577f4c3999d9f1caa1ec1706f309bd0b10cd6947391821559e0022c6cb"},"schema_version":"1.0"},"canonical_sha256":"2a30fb3c3638676fa71900b48dd7cc807e275dcaeee81796b9769e90757000f8","source":{"kind":"arxiv","id":"1802.02094","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.02094","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"arxiv_version","alias_value":"1802.02094v1","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.02094","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"pith_short_12","alias_value":"FIYPWPBWHBTW","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FIYPWPBWHBTW7JYZ","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FIYPWPBW","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FIYPWPBWHBTW7JYZAC2I3V6MQB","target":"record","payload":{"canonical_record":{"source":{"id":"1802.02094","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-02-05T16:55:48Z","cross_cats_sorted":[],"title_canon_sha256":"7f3cf013a948cd491c3870f2897355ec92ed726c779c551a87d13bd48a1efbc1","abstract_canon_sha256":"02a6ed577f4c3999d9f1caa1ec1706f309bd0b10cd6947391821559e0022c6cb"},"schema_version":"1.0"},"canonical_sha256":"2a30fb3c3638676fa71900b48dd7cc807e275dcaeee81796b9769e90757000f8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:10.905415Z","signature_b64":"weeUhbZKqdKf3hGNO/KudgRaeiQjInZtcFhYvkP3emcAav/c7BESzM1BKzaRu9a/HnTGWnN/f8wMO9w4GvDmCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a30fb3c3638676fa71900b48dd7cc807e275dcaeee81796b9769e90757000f8","last_reissued_at":"2026-05-18T00:24:10.904850Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:10.904850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.02094","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-18T00:24:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IWoC5VSZIZppLoLWk8BveYVULv9IfmCHqz8mIQQIPkq/XFzpMEeTg/4XhJqn9eD8uLD/2QYTsZ1KNBBEE1UAAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:14:13.102803Z"},"content_sha256":"e1cc38052196575d6a5acf084c6b611b90fa6dbaa20a260d1cafc5d029b17329","schema_version":"1.0","event_id":"sha256:e1cc38052196575d6a5acf084c6b611b90fa6dbaa20a260d1cafc5d029b17329"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FIYPWPBWHBTW7JYZAC2I3V6MQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular Transducer Expressions for Regular Transformations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Krishna Shankara Narayanan, Paul Gastin, Vrunda Dave","submitted_at":"2018-02-05T16:55:48Z","abstract_excerpt":"Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show that every regular function, either on finite words or on infinite words, captured by a deterministic two-way transducer, can be described with a regular transducer expression (RTE). For infinite words, the transducer uses Muller acceptance and $\\omega$-regular look-ahead. \\RTEs are constructed from constant functions using the combinators if-then-else (deterministic choice), Hadamard product, and unambiguous versions o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.02094","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-18T00:24:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U79zT8O3w39b3YalFyQDalGdBQCYns8p3O39JDWrLk6P0HkENyHe6BZYR8KbgNZ/zI1v5J55i2Aw59icOp0JBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:14:13.103180Z"},"content_sha256":"12bce0629ded1b2ff2ef76b4508818ba1864e33b0cd1dd8bfa137569d47af22a","schema_version":"1.0","event_id":"sha256:12bce0629ded1b2ff2ef76b4508818ba1864e33b0cd1dd8bfa137569d47af22a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/bundle.json","state_url":"https://pith.science/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/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-06-29T13:14:13Z","links":{"resolver":"https://pith.science/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB","bundle":"https://pith.science/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/bundle.json","state":"https://pith.science/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FIYPWPBWHBTW7JYZAC2I3V6MQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FIYPWPBWHBTW7JYZAC2I3V6MQB","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":"02a6ed577f4c3999d9f1caa1ec1706f309bd0b10cd6947391821559e0022c6cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-02-05T16:55:48Z","title_canon_sha256":"7f3cf013a948cd491c3870f2897355ec92ed726c779c551a87d13bd48a1efbc1"},"schema_version":"1.0","source":{"id":"1802.02094","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.02094","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"arxiv_version","alias_value":"1802.02094v1","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.02094","created_at":"2026-05-18T00:24:10Z"},{"alias_kind":"pith_short_12","alias_value":"FIYPWPBWHBTW","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FIYPWPBWHBTW7JYZ","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FIYPWPBW","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:12bce0629ded1b2ff2ef76b4508818ba1864e33b0cd1dd8bfa137569d47af22a","target":"graph","created_at":"2026-05-18T00:24:10Z","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":"Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show that every regular function, either on finite words or on infinite words, captured by a deterministic two-way transducer, can be described with a regular transducer expression (RTE). For infinite words, the transducer uses Muller acceptance and $\\omega$-regular look-ahead. \\RTEs are constructed from constant functions using the combinators if-then-else (deterministic choice), Hadamard product, and unambiguous versions o","authors_text":"Krishna Shankara Narayanan, Paul Gastin, Vrunda Dave","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-02-05T16:55:48Z","title":"Regular Transducer Expressions for Regular Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.02094","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:e1cc38052196575d6a5acf084c6b611b90fa6dbaa20a260d1cafc5d029b17329","target":"record","created_at":"2026-05-18T00:24:10Z","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":"02a6ed577f4c3999d9f1caa1ec1706f309bd0b10cd6947391821559e0022c6cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-02-05T16:55:48Z","title_canon_sha256":"7f3cf013a948cd491c3870f2897355ec92ed726c779c551a87d13bd48a1efbc1"},"schema_version":"1.0","source":{"id":"1802.02094","kind":"arxiv","version":1}},"canonical_sha256":"2a30fb3c3638676fa71900b48dd7cc807e275dcaeee81796b9769e90757000f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a30fb3c3638676fa71900b48dd7cc807e275dcaeee81796b9769e90757000f8","first_computed_at":"2026-05-18T00:24:10.904850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:10.904850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"weeUhbZKqdKf3hGNO/KudgRaeiQjInZtcFhYvkP3emcAav/c7BESzM1BKzaRu9a/HnTGWnN/f8wMO9w4GvDmCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:10.905415Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.02094","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1cc38052196575d6a5acf084c6b611b90fa6dbaa20a260d1cafc5d029b17329","sha256:12bce0629ded1b2ff2ef76b4508818ba1864e33b0cd1dd8bfa137569d47af22a"],"state_sha256":"6abe5b67d66384071aefe753bf39d5e4b8af280b357954dd871434c5c66f4f1e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tXE6jdbJoCP7euSfAY89BwjdekVjxNGhKWPqVTEuVFG3lY4yB2lyhudhGbSiJYqfteyGUHIv8F1ffynKeFX1Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T13:14:13.105056Z","bundle_sha256":"f329f6143faea5f8e208ad4006667349174ad1f883d279379723a523e8889b9c"}}