{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:HSONCGQDG5ARFTII2DX34RDOLB","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":"0b65f71a44fbd57163aef37c8c4e427557a9a5fcd977f342e34c580a077427ae","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-06-07T01:06:29Z","title_canon_sha256":"2f86f147e9c75db995c66581a5abe1ed148ed40cf6e8e37b909f60ec6f3fc5d4"},"schema_version":"1.0","source":{"id":"1106.1235","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1235","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1235v1","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1235","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"pith_short_12","alias_value":"HSONCGQDG5AR","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HSONCGQDG5ARFTII","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HSONCGQD","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:671088663c33f10cf0180f348873ac5c38ab7c28256858a35e20391bf11fea48","target":"graph","created_at":"2026-05-18T04:20:24Z","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":"Data automata on data words is a decidable model proposed by Boja\\'nczyk et al. in 2006. Class automata, introduced recently by Boja\\'nczyk and Lasota, is an extension of data automata which unifies different automata models on data words. The nonemptiness of class automata is undecidable, since class automata can simulate two-counter machines. In this paper, a decidable model called class automata with priority class condition, which restricts class automata but strictly extends data automata, is proposed. The decidability of this model is obtained by establishing a correspondence with priori","authors_text":"Chinese Academy of Sciences), Institute of Software, Zhilin Wu (State Key Laboratory of Computer Science","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-06-07T01:06:29Z","title":"A Decidable Extension of Data Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1235","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:34d6a715b5afbc546cca5a52d9365e465fc007474d398282b454da44bd495a97","target":"record","created_at":"2026-05-18T04:20:24Z","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":"0b65f71a44fbd57163aef37c8c4e427557a9a5fcd977f342e34c580a077427ae","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-06-07T01:06:29Z","title_canon_sha256":"2f86f147e9c75db995c66581a5abe1ed148ed40cf6e8e37b909f60ec6f3fc5d4"},"schema_version":"1.0","source":{"id":"1106.1235","kind":"arxiv","version":1}},"canonical_sha256":"3c9cd11a03374112cd08d0efbe446e585b7568505afe3751698d9cb5ccaba445","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c9cd11a03374112cd08d0efbe446e585b7568505afe3751698d9cb5ccaba445","first_computed_at":"2026-05-18T04:20:24.227952Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:24.227952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6ptmzBTWmjh+6QIXUslNit7pg3pLSPaN62J4iYwYKstGRNZW0dCd3JJYMgdqooJdH7iPpGnxdU90XbdDG2+rDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:24.228653Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.1235","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34d6a715b5afbc546cca5a52d9365e465fc007474d398282b454da44bd495a97","sha256:671088663c33f10cf0180f348873ac5c38ab7c28256858a35e20391bf11fea48"],"state_sha256":"370aeaf932c0ebfa7526f427fcfd99afcc76357547f1ef43bf225d702d62c0ae"}