{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:RA77JOVBVIEIVCP7BUNVWF6BQQ","short_pith_number":"pith:RA77JOVB","schema_version":"1.0","canonical_sha256":"883ff4baa1aa088a89ff0d1b5b17c1842676e14ad168112b3b09c6665e2ac9ba","source":{"kind":"arxiv","id":"2507.15316","version":1},"attestation_state":"computed","paper":{"title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM","cs.DS"],"primary_cat":"cs.FL","authors_text":"Benedek Nagy (Eastern Mediterranean University / Eszterh\\'azy K\\'aroly Catholic University)","submitted_at":"2025-07-21T07:15:27Z","abstract_excerpt":"Linear automata are automata with two reading heads starting from the two extremes of the input, are equivalent to 5' -> 3' Watson-Crick (WK) finite automata. The heads read the input in opposite directions and the computation finishes when the heads meet. These automata accept the class LIN of linear languages. The deterministic counterpart of these models, on the one hand, is less expressive, as only a proper subset of LIN, the class 2detLIN is accepted; and on the other hand, they are also equivalent in the sense of the class of the accepted languages. Now, based on these automata models, w"},"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":"2507.15316","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-07-21T07:15:27Z","cross_cats_sorted":["cs.DM","cs.DS"],"title_canon_sha256":"2c391b0e3d70e262ab61482c6fb9ce66e19f45c4b83060442b16b8cdf379c330","abstract_canon_sha256":"1891195676cd39c73a821639749400e7f02b3bb435890160cf00704412c12890"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:22.598759Z","signature_b64":"Z0SFchpwc1WvLXCiuqSNUeI9/6D0kCo4rgF3mGS6dVoVavKAL9sLcVPdbDwkkJdJh0k01RilVLnBOxVncHe5Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"883ff4baa1aa088a89ff0d1b5b17c1842676e14ad168112b3b09c6665e2ac9ba","last_reissued_at":"2026-07-05T11:40:22.598366Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:22.598366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM","cs.DS"],"primary_cat":"cs.FL","authors_text":"Benedek Nagy (Eastern Mediterranean University / Eszterh\\'azy K\\'aroly Catholic University)","submitted_at":"2025-07-21T07:15:27Z","abstract_excerpt":"Linear automata are automata with two reading heads starting from the two extremes of the input, are equivalent to 5' -> 3' Watson-Crick (WK) finite automata. The heads read the input in opposite directions and the computation finishes when the heads meet. These automata accept the class LIN of linear languages. The deterministic counterpart of these models, on the one hand, is less expressive, as only a proper subset of LIN, the class 2detLIN is accepted; and on the other hand, they are also equivalent in the sense of the class of the accepted languages. Now, based on these automata models, w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15316","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.15316/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2507.15316","created_at":"2026-07-05T11:40:22.598420+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.15316v1","created_at":"2026-07-05T11:40:22.598420+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15316","created_at":"2026-07-05T11:40:22.598420+00:00"},{"alias_kind":"pith_short_12","alias_value":"RA77JOVBVIEI","created_at":"2026-07-05T11:40:22.598420+00:00"},{"alias_kind":"pith_short_16","alias_value":"RA77JOVBVIEIVCP7","created_at":"2026-07-05T11:40:22.598420+00:00"},{"alias_kind":"pith_short_8","alias_value":"RA77JOVB","created_at":"2026-07-05T11:40:22.598420+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/RA77JOVBVIEIVCP7BUNVWF6BQQ","json":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ.json","graph_json":"https://pith.science/api/pith-number/RA77JOVBVIEIVCP7BUNVWF6BQQ/graph.json","events_json":"https://pith.science/api/pith-number/RA77JOVBVIEIVCP7BUNVWF6BQQ/events.json","paper":"https://pith.science/paper/RA77JOVB"},"agent_actions":{"view_html":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ","download_json":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ.json","view_paper":"https://pith.science/paper/RA77JOVB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.15316&json=true","fetch_graph":"https://pith.science/api/pith-number/RA77JOVBVIEIVCP7BUNVWF6BQQ/graph.json","fetch_events":"https://pith.science/api/pith-number/RA77JOVBVIEIVCP7BUNVWF6BQQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ/action/storage_attestation","attest_author":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ/action/author_attestation","sign_citation":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ/action/citation_signature","submit_replication":"https://pith.science/pith/RA77JOVBVIEIVCP7BUNVWF6BQQ/action/replication_record"}},"created_at":"2026-07-05T11:40:22.598420+00:00","updated_at":"2026-07-05T11:40:22.598420+00:00"}