{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:H5LHW3CEY2WWMGLQ3OBAPFPHET","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":"a7cb331aca8f5b84e2973363945954c708bd94045e28aa1279267c9fc4740031","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-10-08T15:02:22Z","title_canon_sha256":"1f87e9fc33b068ebe1a071ee0a59551bcfaaf66546f318ed934e4fd20f46c975"},"schema_version":"1.0","source":{"id":"1810.03515","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.03515","created_at":"2026-05-18T00:03:51Z"},{"alias_kind":"arxiv_version","alias_value":"1810.03515v1","created_at":"2026-05-18T00:03:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.03515","created_at":"2026-05-18T00:03:51Z"},{"alias_kind":"pith_short_12","alias_value":"H5LHW3CEY2WW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"H5LHW3CEY2WWMGLQ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"H5LHW3CE","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:fa67faa93157e4cb9dca573146b5345dfbef781859d58a6c232b04821dcbcdaa","target":"graph","created_at":"2026-05-18T00:03:51Z","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":"We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the output values is parametric, and we provide sufficient conditions on the predicates under which the model-checking problem is decidable. We then consider three particular automata models (finite automata, transducers and automata weighted by integers -- sum-automata --) and instantiate the generic logic for each of them. We give tight complexity results for the three logics and the model-checking problem, depending on","authors_text":"Emmanuel Filiot, Jean-Fran\\c{c}ois Raskin, Nicolas Mazzocchi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-10-08T15:02:22Z","title":"A Pattern Logic for Automata with Outputs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.03515","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:71d34e9f7d35f33386772db7f1cedde56895c7dfbe0525939d85ca27ccd4918b","target":"record","created_at":"2026-05-18T00:03:51Z","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":"a7cb331aca8f5b84e2973363945954c708bd94045e28aa1279267c9fc4740031","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-10-08T15:02:22Z","title_canon_sha256":"1f87e9fc33b068ebe1a071ee0a59551bcfaaf66546f318ed934e4fd20f46c975"},"schema_version":"1.0","source":{"id":"1810.03515","kind":"arxiv","version":1}},"canonical_sha256":"3f567b6c44c6ad661970db820795e724c8329b231464242928a4e6a61f7f265b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f567b6c44c6ad661970db820795e724c8329b231464242928a4e6a61f7f265b","first_computed_at":"2026-05-18T00:03:51.041179Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:51.041179Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6g4J3s4EyBHV/8de/cKPSme2qXy1/TglJA3VpC9Pb69QK18/fwvmRT4YrHHHjXp9bfF4vxMuNQ7qgpk1iNP0Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:51.041832Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.03515","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71d34e9f7d35f33386772db7f1cedde56895c7dfbe0525939d85ca27ccd4918b","sha256:fa67faa93157e4cb9dca573146b5345dfbef781859d58a6c232b04821dcbcdaa"],"state_sha256":"d8d4819fe542a41839007041b7549f7244d84c413ed45651559578cab4db80b8"}