{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:UGEYIDMAVE6FNZQ3ZVI5UJMEAX","short_pith_number":"pith:UGEYIDMA","schema_version":"1.0","canonical_sha256":"a189840d80a93c56e61bcd51da258405f251483ddacc42f546f320c9553e49e5","source":{"kind":"arxiv","id":"1503.00035","version":1},"attestation_state":"computed","paper":{"title":"Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.FL","authors_text":"Lila Kari, Stavros Konstantinidis, Steffen Kopecki","submitted_at":"2015-02-27T23:45:25Z","abstract_excerpt":"This work concerns formal descriptions of DNA code properties, and builds on previous work on transducer descriptions of classic code properties and on trajectory descriptions of DNA code properties. This line of research allows us to give a property as input to an algorithm, in addition to any regular language, which can then answer questions about the language and the property. Here we define DNA code properties via transducers and show that this method is strictly more expressive than that of trajectories, without sacrificing the efficiency of deciding the satisfaction question. We also sho"},"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":"1503.00035","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-02-27T23:45:25Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"8c96c6ff71c8bffaed78e4198cf91de903421740f9e83e514fe806c3e002c07d","abstract_canon_sha256":"1c2679025892a3ba192ef3769e7a7614d584864030555ef49f863b556ed40a2c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:55.316132Z","signature_b64":"TjQeR3Ag5OMoIJqtyGn69F++PqVNvCh/6GbhUNANxiEcKsBS15uu8w4R5IUyvKazlRo7zbm1bV30wpTM+qrwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a189840d80a93c56e61bcd51da258405f251483ddacc42f546f320c9553e49e5","last_reissued_at":"2026-05-18T02:25:55.315691Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:55.315691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.FL","authors_text":"Lila Kari, Stavros Konstantinidis, Steffen Kopecki","submitted_at":"2015-02-27T23:45:25Z","abstract_excerpt":"This work concerns formal descriptions of DNA code properties, and builds on previous work on transducer descriptions of classic code properties and on trajectory descriptions of DNA code properties. This line of research allows us to give a property as input to an algorithm, in addition to any regular language, which can then answer questions about the language and the property. Here we define DNA code properties via transducers and show that this method is strictly more expressive than that of trajectories, without sacrificing the efficiency of deciding the satisfaction question. We also sho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00035","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":"1503.00035","created_at":"2026-05-18T02:25:55.315759+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.00035v1","created_at":"2026-05-18T02:25:55.315759+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00035","created_at":"2026-05-18T02:25:55.315759+00:00"},{"alias_kind":"pith_short_12","alias_value":"UGEYIDMAVE6F","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_16","alias_value":"UGEYIDMAVE6FNZQ3","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_8","alias_value":"UGEYIDMA","created_at":"2026-05-18T12:29:44.643036+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/UGEYIDMAVE6FNZQ3ZVI5UJMEAX","json":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX.json","graph_json":"https://pith.science/api/pith-number/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/graph.json","events_json":"https://pith.science/api/pith-number/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/events.json","paper":"https://pith.science/paper/UGEYIDMA"},"agent_actions":{"view_html":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX","download_json":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX.json","view_paper":"https://pith.science/paper/UGEYIDMA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.00035&json=true","fetch_graph":"https://pith.science/api/pith-number/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/graph.json","fetch_events":"https://pith.science/api/pith-number/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/action/storage_attestation","attest_author":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/action/author_attestation","sign_citation":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/action/citation_signature","submit_replication":"https://pith.science/pith/UGEYIDMAVE6FNZQ3ZVI5UJMEAX/action/replication_record"}},"created_at":"2026-05-18T02:25:55.315759+00:00","updated_at":"2026-05-18T02:25:55.315759+00:00"}