{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:5QHW7INZFHTAZLB3KX3CK23RYU","short_pith_number":"pith:5QHW7INZ","canonical_record":{"source":{"id":"1607.00931","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-07-04T15:30:04Z","cross_cats_sorted":[],"title_canon_sha256":"bb46252858265cf65ab24a568ffaf0ae94b2c927ec286c3c7fae91624c9a92ac","abstract_canon_sha256":"e9caeec01622dc6b66d18bb837b5ba31ddd7ce8551c3f900355277ed151e9d1d"},"schema_version":"1.0"},"canonical_sha256":"ec0f6fa1b929e60cac3b55f6256b71c539b69bcad03c3b81fe51a46820670390","source":{"kind":"arxiv","id":"1607.00931","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.00931","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"arxiv_version","alias_value":"1607.00931v2","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.00931","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"pith_short_12","alias_value":"5QHW7INZFHTA","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"5QHW7INZFHTAZLB3","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"5QHW7INZ","created_at":"2026-05-18T12:30:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:5QHW7INZFHTAZLB3KX3CK23RYU","target":"record","payload":{"canonical_record":{"source":{"id":"1607.00931","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-07-04T15:30:04Z","cross_cats_sorted":[],"title_canon_sha256":"bb46252858265cf65ab24a568ffaf0ae94b2c927ec286c3c7fae91624c9a92ac","abstract_canon_sha256":"e9caeec01622dc6b66d18bb837b5ba31ddd7ce8551c3f900355277ed151e9d1d"},"schema_version":"1.0"},"canonical_sha256":"ec0f6fa1b929e60cac3b55f6256b71c539b69bcad03c3b81fe51a46820670390","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:55.025230Z","signature_b64":"lTuQ+wuJ7Nn4jVAZDyzJRyl9ofvId3uCTH0ARcupFjpBR4UeQsT/2re4fPz0eN8E5A2Hj1M4rwuTQUFYN55GCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec0f6fa1b929e60cac3b55f6256b71c539b69bcad03c3b81fe51a46820670390","last_reissued_at":"2026-05-17T23:51:55.024712Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:55.024712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.00931","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-17T23:51:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O7ftA9kzlpSVKUpxH7lClOSoWyb0qXJ5OFVel61Mp+hgERn38Ed6M0xTuGjUBHi/f8UO+1vQkN1zuI+9My4PCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T02:45:57.374783Z"},"content_sha256":"881b31ec16012c73349c81576e088090be560db2c040186ef73c4f83813a12dc","schema_version":"1.0","event_id":"sha256:881b31ec16012c73349c81576e088090be560db2c040186ef73c4f83813a12dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:5QHW7INZFHTAZLB3KX3CK23RYU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deletion Operations on Deterministic Families of Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Ian McQuillan, Joey Eremondi, Oscar H. Ibarra","submitted_at":"2016-07-04T15:30:04Z","abstract_excerpt":"Many different deletion operations are investigated applied to languages accepted by one-way and two-way deterministic reversal-bounded multicounter machines, deterministic pushdown automata, and finite automata. Operations studied include the prefix, suffix, infix and outfix operations, as well as left and right quotient with languages from different families. It is often expected that language families defined from deterministic machines will not be closed under deletion operations. However, here, it is shown that one-way deterministic reversal-bounded multicounter languages are closed under"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.00931","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-17T23:51:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3matHHBgpxyZcrivGAbQf+P8DWV4DfGw8OHO3MopwfcxHFUUW/e8nn+cfxGg4mkoe7EwTqP5BSwg7+dFIUukBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T02:45:57.375135Z"},"content_sha256":"e8a40e2ba68f6ca3eb84af79196cd87a8c65b6c38eb888238d44bf09f0c68af8","schema_version":"1.0","event_id":"sha256:e8a40e2ba68f6ca3eb84af79196cd87a8c65b6c38eb888238d44bf09f0c68af8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QHW7INZFHTAZLB3KX3CK23RYU/bundle.json","state_url":"https://pith.science/pith/5QHW7INZFHTAZLB3KX3CK23RYU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QHW7INZFHTAZLB3KX3CK23RYU/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-06-25T02:45:57Z","links":{"resolver":"https://pith.science/pith/5QHW7INZFHTAZLB3KX3CK23RYU","bundle":"https://pith.science/pith/5QHW7INZFHTAZLB3KX3CK23RYU/bundle.json","state":"https://pith.science/pith/5QHW7INZFHTAZLB3KX3CK23RYU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QHW7INZFHTAZLB3KX3CK23RYU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:5QHW7INZFHTAZLB3KX3CK23RYU","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":"e9caeec01622dc6b66d18bb837b5ba31ddd7ce8551c3f900355277ed151e9d1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-07-04T15:30:04Z","title_canon_sha256":"bb46252858265cf65ab24a568ffaf0ae94b2c927ec286c3c7fae91624c9a92ac"},"schema_version":"1.0","source":{"id":"1607.00931","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.00931","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"arxiv_version","alias_value":"1607.00931v2","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.00931","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"pith_short_12","alias_value":"5QHW7INZFHTA","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"5QHW7INZFHTAZLB3","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"5QHW7INZ","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:e8a40e2ba68f6ca3eb84af79196cd87a8c65b6c38eb888238d44bf09f0c68af8","target":"graph","created_at":"2026-05-17T23:51:55Z","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":"Many different deletion operations are investigated applied to languages accepted by one-way and two-way deterministic reversal-bounded multicounter machines, deterministic pushdown automata, and finite automata. Operations studied include the prefix, suffix, infix and outfix operations, as well as left and right quotient with languages from different families. It is often expected that language families defined from deterministic machines will not be closed under deletion operations. However, here, it is shown that one-way deterministic reversal-bounded multicounter languages are closed under","authors_text":"Ian McQuillan, Joey Eremondi, Oscar H. Ibarra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-07-04T15:30:04Z","title":"Deletion Operations on Deterministic Families of Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.00931","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:881b31ec16012c73349c81576e088090be560db2c040186ef73c4f83813a12dc","target":"record","created_at":"2026-05-17T23:51:55Z","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":"e9caeec01622dc6b66d18bb837b5ba31ddd7ce8551c3f900355277ed151e9d1d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-07-04T15:30:04Z","title_canon_sha256":"bb46252858265cf65ab24a568ffaf0ae94b2c927ec286c3c7fae91624c9a92ac"},"schema_version":"1.0","source":{"id":"1607.00931","kind":"arxiv","version":2}},"canonical_sha256":"ec0f6fa1b929e60cac3b55f6256b71c539b69bcad03c3b81fe51a46820670390","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec0f6fa1b929e60cac3b55f6256b71c539b69bcad03c3b81fe51a46820670390","first_computed_at":"2026-05-17T23:51:55.024712Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:55.024712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lTuQ+wuJ7Nn4jVAZDyzJRyl9ofvId3uCTH0ARcupFjpBR4UeQsT/2re4fPz0eN8E5A2Hj1M4rwuTQUFYN55GCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:55.025230Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.00931","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:881b31ec16012c73349c81576e088090be560db2c040186ef73c4f83813a12dc","sha256:e8a40e2ba68f6ca3eb84af79196cd87a8c65b6c38eb888238d44bf09f0c68af8"],"state_sha256":"dbfe2979a2f480a1c4a157d4d6378ac0d8fc877ca49ef8bfc54248f43f52b5ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"teyVnsfzZUCjvTfGw1dFh/mwquz5TiVEW/FVcLfEYCmB8yN9s/JjAb8QdHQ7aITTqMbeD6eaSxvKYfjw698WBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T02:45:57.377136Z","bundle_sha256":"63131712c2a4816749d174f09bd52f2c5a1f04afb98f9a20101c9dcdf0cf61d7"}}