{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YYXFGOC53K627C76MZYEBK4BY4","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":"316fea44d204b3a1e23a14d7a017b1912cc182924f66c2b1e0f957f2629ef6e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-27T12:17:05Z","title_canon_sha256":"781c8efecd1b505d284b788b0d134f572cae7fead94680e85ccda3852d9851f0"},"schema_version":"1.0","source":{"id":"1511.08642","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.08642","created_at":"2026-05-18T01:25:48Z"},{"alias_kind":"arxiv_version","alias_value":"1511.08642v1","created_at":"2026-05-18T01:25:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.08642","created_at":"2026-05-18T01:25:48Z"},{"alias_kind":"pith_short_12","alias_value":"YYXFGOC53K62","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"YYXFGOC53K627C76","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"YYXFGOC5","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:98d20d02ebbd13d16e00ce7e5d0ffec6bb4d3c7071767b18da5365e007f038cd","target":"graph","created_at":"2026-05-18T01:25:48Z","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":"First, we show that universality and other properties of general jumping finite automata are undecidable, which answers a question asked by Meduna and Zemek in 2012. Second, we close the study raised by \\v{C}erno and Mr\\'{a}z in 2010 by proving that clearing restarting automata using contexts of size two can accept binary non-context-free languages.","authors_text":"Vojt\\v{e}ch Vorel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-27T12:17:05Z","title":"Two Results on Discontinuous Input Processing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.08642","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:063690b99d4aabebaf8485aecde9e32a6a8cb940e25134ab55910943ae8e7441","target":"record","created_at":"2026-05-18T01:25:48Z","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":"316fea44d204b3a1e23a14d7a017b1912cc182924f66c2b1e0f957f2629ef6e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-27T12:17:05Z","title_canon_sha256":"781c8efecd1b505d284b788b0d134f572cae7fead94680e85ccda3852d9851f0"},"schema_version":"1.0","source":{"id":"1511.08642","kind":"arxiv","version":1}},"canonical_sha256":"c62e53385ddabdaf8bfe667040ab81c716c91dc375e8df94e363762fb8648d5d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c62e53385ddabdaf8bfe667040ab81c716c91dc375e8df94e363762fb8648d5d","first_computed_at":"2026-05-18T01:25:48.439414Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:48.439414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A4Zmm6VO0WMx7e7SNuYbuXc31IGYLRg4/h9YsF35GoYfxBu3svdT9v4RGp6M7ZKRDFthHYrvH3Pg/RphkdAsBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:48.440056Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.08642","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:063690b99d4aabebaf8485aecde9e32a6a8cb940e25134ab55910943ae8e7441","sha256:98d20d02ebbd13d16e00ce7e5d0ffec6bb4d3c7071767b18da5365e007f038cd"],"state_sha256":"747776ddcc73e69653a1d3f9cda95d873711b49f0e9918e6ac668ea6366a8c7b"}