{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:3YCE76KIBEJX7TE6MLQMV5CANH","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":"f611aadda4e6876a1f2d92806b75c80c3db8aa41f7ec72a11e5d313e0908c6ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-08-27T08:20:45Z","title_canon_sha256":"fd3f0987cad01b4852ef632a6dc156b3d9aea0d9161e33435ad5b940ebeadb39"},"schema_version":"1.0","source":{"id":"1208.5324","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.5324","created_at":"2026-05-18T03:46:59Z"},{"alias_kind":"arxiv_version","alias_value":"1208.5324v1","created_at":"2026-05-18T03:46:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.5324","created_at":"2026-05-18T03:46:59Z"},{"alias_kind":"pith_short_12","alias_value":"3YCE76KIBEJX","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"3YCE76KIBEJX7TE6","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"3YCE76KI","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:be0f2a71c07a5fcf88dfd7bd22092a6c3d6a29447a8fa50cdb96be645806e148","target":"graph","created_at":"2026-05-18T03:46:59Z","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":"We consider symbolic tree automata (sta) and symbolic tree transducers (stt). We characterize s-recognizable tree languages (which are the tree languages recognizable by sta) in terms of (classical) recognizable tree languages and relabelings. We prove that sta and the recently introduced variable tree automata are incomparable with respect to their recognition power. We define symbolic regular tree grammars and characterize s-regular tree languages in terms of regular tree languages and relabelings. As a consequence, we obtain that s-recognizable tree languages are the same as s-regular tree ","authors_text":"Heiko Vogler, Zolt\\'an F\\\"ul\\\"op","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-08-27T08:20:45Z","title":"Forward and Backward Application of Symbolic Tree Transducers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.5324","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:2feec8f9562b4dab1f0f04855ade391ba31dca81892d97dfa4a520e1d5b7f430","target":"record","created_at":"2026-05-18T03:46:59Z","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":"f611aadda4e6876a1f2d92806b75c80c3db8aa41f7ec72a11e5d313e0908c6ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-08-27T08:20:45Z","title_canon_sha256":"fd3f0987cad01b4852ef632a6dc156b3d9aea0d9161e33435ad5b940ebeadb39"},"schema_version":"1.0","source":{"id":"1208.5324","kind":"arxiv","version":1}},"canonical_sha256":"de044ff94809137fcc9e62e0caf44069de1770c6c8ac0c8dd5388a98bad8be65","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de044ff94809137fcc9e62e0caf44069de1770c6c8ac0c8dd5388a98bad8be65","first_computed_at":"2026-05-18T03:46:59.778070Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:46:59.778070Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5L8SI4HOaoLclBMNtfSR1P1SbtQaUSkAS0NCJiaN2i+aeMOTK+w4fMeK+hR8Y6i9HxZW+xECNUotYjj9r+ZBBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:46:59.778646Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.5324","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2feec8f9562b4dab1f0f04855ade391ba31dca81892d97dfa4a520e1d5b7f430","sha256:be0f2a71c07a5fcf88dfd7bd22092a6c3d6a29447a8fa50cdb96be645806e148"],"state_sha256":"4bbf7bebef85d1c398c3aeada6a439dc4b26005c26636d23b738f7ff04e78d29"}