{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:XQQRE7VWTTR5DZHJKSGVYYU36N","short_pith_number":"pith:XQQRE7VW","canonical_record":{"source":{"id":"0910.5844","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2009-10-30T11:14:03Z","cross_cats_sorted":[],"title_canon_sha256":"1193bfbc0dae5797ec356016a1c63d49435e93361a1b37a3af0fae654c90630c","abstract_canon_sha256":"ffbd7305ed5c5c170f1f820b8a2daaa3e47c6f5ae51d5f72ca8012727bbe037e"},"schema_version":"1.0"},"canonical_sha256":"bc21127eb69ce3d1e4e9548d5c629bf3549b814d357cae07376b636c5c5385dc","source":{"kind":"arxiv","id":"0910.5844","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.5844","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"0910.5844v1","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.5844","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"XQQRE7VWTTR5","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"XQQRE7VWTTR5DZHJ","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"XQQRE7VW","created_at":"2026-05-18T12:26:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:XQQRE7VWTTR5DZHJKSGVYYU36N","target":"record","payload":{"canonical_record":{"source":{"id":"0910.5844","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2009-10-30T11:14:03Z","cross_cats_sorted":[],"title_canon_sha256":"1193bfbc0dae5797ec356016a1c63d49435e93361a1b37a3af0fae654c90630c","abstract_canon_sha256":"ffbd7305ed5c5c170f1f820b8a2daaa3e47c6f5ae51d5f72ca8012727bbe037e"},"schema_version":"1.0"},"canonical_sha256":"bc21127eb69ce3d1e4e9548d5c629bf3549b814d357cae07376b636c5c5385dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:11:01.393769Z","signature_b64":"MjwhBaLhY9kLQOC+8XFriuZTOqvmjqVxptXp6nT3xdQHYqr7CteA/eo+Aq1q4NejpIeUX7/sMVZKE2DDbPR5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc21127eb69ce3d1e4e9548d5c629bf3549b814d357cae07376b636c5c5385dc","last_reissued_at":"2026-05-18T02:11:01.393076Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:11:01.393076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0910.5844","source_version":1,"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:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"magTUncYTikDksZAUQ7f0+WHMEoJ0TywaOeI94YnGrlwncy8JoGVnNNo2jHZstSLrGyFjygPZ7T21udPnREAAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:54:34.305079Z"},"content_sha256":"f46fb417bdc9a609da5a23ccae8b8b6879fc9a875967d4de92196e3d39265174","schema_version":"1.0","event_id":"sha256:f46fb417bdc9a609da5a23ccae8b8b6879fc9a875967d4de92196e3d39265174"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:XQQRE7VWTTR5DZHJKSGVYYU36N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Pebble Automata for Data Languages with Decidable Emptiness Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Tony Tan","submitted_at":"2009-10-30T11:14:03Z","abstract_excerpt":"In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is decidable. We also show that it is robust: alternating, nondeterministic and deterministic top view weak PA have the same recognition power. Moreover, this model is strong enough to accept all data languages expressible in Li"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.5844","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"},"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:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gzlMccdacon5I2EfUTJz2Wfaz5aq+CZ7nLPfZ0eU7TWtLilE3/LjF1ihXKmQOVC3xBTYyYeXJFK5VkaCmdQRAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:54:34.305474Z"},"content_sha256":"b3476e0909584492242b19efb5d5704425f2b429214a8975162fb0887e3070aa","schema_version":"1.0","event_id":"sha256:b3476e0909584492242b19efb5d5704425f2b429214a8975162fb0887e3070aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/bundle.json","state_url":"https://pith.science/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/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-03T04:54:34Z","links":{"resolver":"https://pith.science/pith/XQQRE7VWTTR5DZHJKSGVYYU36N","bundle":"https://pith.science/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/bundle.json","state":"https://pith.science/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQQRE7VWTTR5DZHJKSGVYYU36N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:XQQRE7VWTTR5DZHJKSGVYYU36N","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":"ffbd7305ed5c5c170f1f820b8a2daaa3e47c6f5ae51d5f72ca8012727bbe037e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2009-10-30T11:14:03Z","title_canon_sha256":"1193bfbc0dae5797ec356016a1c63d49435e93361a1b37a3af0fae654c90630c"},"schema_version":"1.0","source":{"id":"0910.5844","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.5844","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"0910.5844v1","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.5844","created_at":"2026-05-18T02:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"XQQRE7VWTTR5","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"XQQRE7VWTTR5DZHJ","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"XQQRE7VW","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:b3476e0909584492242b19efb5d5704425f2b429214a8975162fb0887e3070aa","target":"graph","created_at":"2026-05-18T02:11:01Z","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":"In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is decidable. We also show that it is robust: alternating, nondeterministic and deterministic top view weak PA have the same recognition power. Moreover, this model is strong enough to accept all data languages expressible in Li","authors_text":"Tony Tan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2009-10-30T11:14:03Z","title":"On Pebble Automata for Data Languages with Decidable Emptiness Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.5844","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:f46fb417bdc9a609da5a23ccae8b8b6879fc9a875967d4de92196e3d39265174","target":"record","created_at":"2026-05-18T02:11:01Z","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":"ffbd7305ed5c5c170f1f820b8a2daaa3e47c6f5ae51d5f72ca8012727bbe037e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2009-10-30T11:14:03Z","title_canon_sha256":"1193bfbc0dae5797ec356016a1c63d49435e93361a1b37a3af0fae654c90630c"},"schema_version":"1.0","source":{"id":"0910.5844","kind":"arxiv","version":1}},"canonical_sha256":"bc21127eb69ce3d1e4e9548d5c629bf3549b814d357cae07376b636c5c5385dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc21127eb69ce3d1e4e9548d5c629bf3549b814d357cae07376b636c5c5385dc","first_computed_at":"2026-05-18T02:11:01.393076Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:11:01.393076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MjwhBaLhY9kLQOC+8XFriuZTOqvmjqVxptXp6nT3xdQHYqr7CteA/eo+Aq1q4NejpIeUX7/sMVZKE2DDbPR5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:11:01.393769Z","signed_message":"canonical_sha256_bytes"},"source_id":"0910.5844","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f46fb417bdc9a609da5a23ccae8b8b6879fc9a875967d4de92196e3d39265174","sha256:b3476e0909584492242b19efb5d5704425f2b429214a8975162fb0887e3070aa"],"state_sha256":"90eaa740e721258a1d0ca46b0b24b932965fa763042d78ee5ee6f3e6f6ae1134"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hpc0q4j3+8Fv7WULyJc9B2lCiXYAdWugkwYnyAcUXczcEzU642GCiBQ4q22QxRfnXumU3rx0Y5iGJ3q+6RuXCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T04:54:34.307458Z","bundle_sha256":"08e69c8494aa34142098055ed36745ad710189238dbc00eeafd5caf371aa5f3b"}}