{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XY6XKGPKXYZWDBQREEYME5C6HM","short_pith_number":"pith:XY6XKGPK","canonical_record":{"source":{"id":"1311.0849","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-11-04T20:53:30Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"31624a1e5b26131e3d9d31c01ec5a34ed523c1a8feacbd86e02ae65670a93c3d","abstract_canon_sha256":"211a1f8b4cb06c04af2ec44a2cf559d738e8e4417434d25e8eee2c12af61d4fa"},"schema_version":"1.0"},"canonical_sha256":"be3d7519eabe336186112130c2745e3b10c276284cfcc010714ac093ed89a28f","source":{"kind":"arxiv","id":"1311.0849","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.0849","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"arxiv_version","alias_value":"1311.0849v2","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.0849","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"pith_short_12","alias_value":"XY6XKGPKXYZW","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XY6XKGPKXYZWDBQR","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XY6XKGPK","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XY6XKGPKXYZWDBQREEYME5C6HM","target":"record","payload":{"canonical_record":{"source":{"id":"1311.0849","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-11-04T20:53:30Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"31624a1e5b26131e3d9d31c01ec5a34ed523c1a8feacbd86e02ae65670a93c3d","abstract_canon_sha256":"211a1f8b4cb06c04af2ec44a2cf559d738e8e4417434d25e8eee2c12af61d4fa"},"schema_version":"1.0"},"canonical_sha256":"be3d7519eabe336186112130c2745e3b10c276284cfcc010714ac093ed89a28f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:09.833450Z","signature_b64":"H0vqlhTHiPpthsvbDLN24sGEtepblHno/W2Vl0aSHg440PVH0kds2EvkRXVBleIN9gQgtnFkP5y/LVAKRwEcBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be3d7519eabe336186112130c2745e3b10c276284cfcc010714ac093ed89a28f","last_reissued_at":"2026-05-18T02:48:09.833047Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:09.833047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.0849","source_version":2,"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-18T02:48:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6v6QysKeAEBhU8HVE71SgodUCIJV3Rxz6YbLwPdNarzrcck0xvxmk6fsE6Nv8kITcpB1dK7oUA7cIQD5ZAfeAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T04:35:44.941069Z"},"content_sha256":"831f6121c4e3ae8df16cc7111261ad57c66d87ec0605b3e894a2ea06b7a08a21","schema_version":"1.0","event_id":"sha256:831f6121c4e3ae8df16cc7111261ad57c66d87ec0605b3e894a2ea06b7a08a21"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XY6XKGPKXYZWDBQREEYME5C6HM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unary languages recognized by two-way one-counter automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.FL","authors_text":"Abuzer Yakaryilmaz, Marzio De Biasi","submitted_at":"2013-11-04T20:53:30Z","abstract_excerpt":"A two-way deterministic finite state automaton with one counter (2D1CA) is a fundamental computational model that has been examined in many different aspects since sixties, but we know little about its power in the case of unary languages. Up to our knowledge, the only known unary nonregular languages recognized by 2D1CAs are those formed by strings having exponential length, where the exponents form some trivial unary regular language. In this paper, we present some non-trivial subsets of these languages. By using the input head as a second counter, we present simulations of two-way determini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.0849","kind":"arxiv","version":2},"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-18T02:48:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b/jQcoWwaHJL4Kh/Yi6NBCKD/kuwBzTxFWGchD77Do4NXC32f9oxLm11BF7Nvz2+b1MByTuW+cEWnqw1Oli3Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T04:35:44.941773Z"},"content_sha256":"76ad2e6f3a277461ab5efac742bf9d4ba5c916a4d6de0dbccf7cf0e3a71ce604","schema_version":"1.0","event_id":"sha256:76ad2e6f3a277461ab5efac742bf9d4ba5c916a4d6de0dbccf7cf0e3a71ce604"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XY6XKGPKXYZWDBQREEYME5C6HM/bundle.json","state_url":"https://pith.science/pith/XY6XKGPKXYZWDBQREEYME5C6HM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XY6XKGPKXYZWDBQREEYME5C6HM/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-05-20T04:35:44Z","links":{"resolver":"https://pith.science/pith/XY6XKGPKXYZWDBQREEYME5C6HM","bundle":"https://pith.science/pith/XY6XKGPKXYZWDBQREEYME5C6HM/bundle.json","state":"https://pith.science/pith/XY6XKGPKXYZWDBQREEYME5C6HM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XY6XKGPKXYZWDBQREEYME5C6HM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XY6XKGPKXYZWDBQREEYME5C6HM","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":"211a1f8b4cb06c04af2ec44a2cf559d738e8e4417434d25e8eee2c12af61d4fa","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-11-04T20:53:30Z","title_canon_sha256":"31624a1e5b26131e3d9d31c01ec5a34ed523c1a8feacbd86e02ae65670a93c3d"},"schema_version":"1.0","source":{"id":"1311.0849","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.0849","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"arxiv_version","alias_value":"1311.0849v2","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.0849","created_at":"2026-05-18T02:48:09Z"},{"alias_kind":"pith_short_12","alias_value":"XY6XKGPKXYZW","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XY6XKGPKXYZWDBQR","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XY6XKGPK","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:76ad2e6f3a277461ab5efac742bf9d4ba5c916a4d6de0dbccf7cf0e3a71ce604","target":"graph","created_at":"2026-05-18T02:48:09Z","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":"A two-way deterministic finite state automaton with one counter (2D1CA) is a fundamental computational model that has been examined in many different aspects since sixties, but we know little about its power in the case of unary languages. Up to our knowledge, the only known unary nonregular languages recognized by 2D1CAs are those formed by strings having exponential length, where the exponents form some trivial unary regular language. In this paper, we present some non-trivial subsets of these languages. By using the input head as a second counter, we present simulations of two-way determini","authors_text":"Abuzer Yakaryilmaz, Marzio De Biasi","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-11-04T20:53:30Z","title":"Unary languages recognized by two-way one-counter automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.0849","kind":"arxiv","version":2},"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:831f6121c4e3ae8df16cc7111261ad57c66d87ec0605b3e894a2ea06b7a08a21","target":"record","created_at":"2026-05-18T02:48:09Z","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":"211a1f8b4cb06c04af2ec44a2cf559d738e8e4417434d25e8eee2c12af61d4fa","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-11-04T20:53:30Z","title_canon_sha256":"31624a1e5b26131e3d9d31c01ec5a34ed523c1a8feacbd86e02ae65670a93c3d"},"schema_version":"1.0","source":{"id":"1311.0849","kind":"arxiv","version":2}},"canonical_sha256":"be3d7519eabe336186112130c2745e3b10c276284cfcc010714ac093ed89a28f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be3d7519eabe336186112130c2745e3b10c276284cfcc010714ac093ed89a28f","first_computed_at":"2026-05-18T02:48:09.833047Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:09.833047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H0vqlhTHiPpthsvbDLN24sGEtepblHno/W2Vl0aSHg440PVH0kds2EvkRXVBleIN9gQgtnFkP5y/LVAKRwEcBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:09.833450Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.0849","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:831f6121c4e3ae8df16cc7111261ad57c66d87ec0605b3e894a2ea06b7a08a21","sha256:76ad2e6f3a277461ab5efac742bf9d4ba5c916a4d6de0dbccf7cf0e3a71ce604"],"state_sha256":"461b9894aeb798463a844f7302ac7b1022c7f802878b7b887597f02bb15892a5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q9YOZVe4N9R8912R1mOt4HVMiZXS3ctOOwPs3fkRU8RJhUkwmWW/G92+GK+m2eZGGx2pudMshL4+xAsTAj2XBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T04:35:44.945922Z","bundle_sha256":"27e1169795412d571ef0ef945fd25c17f7fdd4c53f9fc35ffd1f68f9b1f60193"}}