{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:FYJMWF5HQYDPH3QLZQOJNW3RV2","short_pith_number":"pith:FYJMWF5H","schema_version":"1.0","canonical_sha256":"2e12cb17a78606f3ee0bcc1c96db71aea33b1a4bd34803d0272d3a82c2af3ab1","source":{"kind":"arxiv","id":"1405.5604","version":1},"attestation_state":"computed","paper":{"title":"Commutative Languages and their Composition by Consensual Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"CNR-IEIIT), Pierluigi San Pietro (DEIB, Politecnico di Milano, Stefano Crespi Reghizzi (DEIB","submitted_at":"2014-05-22T02:13:46Z","abstract_excerpt":"Commutative  languages with the semilinear property (SLIP)  can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such languages can be  similarly recognized, relying on -- and further developing, our recent results on the family of consensually regular (CREG) languages.  A CREG language is defined by a regular language on the alphabet that includes the terminal alphabet and its marked copy. New  conditions, for ensuring that the union or concatenation of CREG languages is  closed,  are presented and applied to the commutative SLI"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1405.5604","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-05-22T02:13:46Z","cross_cats_sorted":[],"title_canon_sha256":"41e9a2207f9b88d52c4a61ccbbf65c7bcda23bff27c82290cd550d1b6e4b1245","abstract_canon_sha256":"e6c1aaaf9249e20cf744c621dded5d159d29162666d53d955ae2d7626dab685d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:16.205913Z","signature_b64":"w3DXZRW70R82UuAQ/4yY+rkBkOvr5RtLeyAnfBJZK1YdR2VPGjdo0Y1bBbwdvYwHLccOr4HVXDcIbT4lClHUCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e12cb17a78606f3ee0bcc1c96db71aea33b1a4bd34803d0272d3a82c2af3ab1","last_reissued_at":"2026-05-18T02:51:16.205392Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:16.205392Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Commutative Languages and their Composition by Consensual Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"CNR-IEIIT), Pierluigi San Pietro (DEIB, Politecnico di Milano, Stefano Crespi Reghizzi (DEIB","submitted_at":"2014-05-22T02:13:46Z","abstract_excerpt":"Commutative  languages with the semilinear property (SLIP)  can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such languages can be  similarly recognized, relying on -- and further developing, our recent results on the family of consensually regular (CREG) languages.  A CREG language is defined by a regular language on the alphabet that includes the terminal alphabet and its marked copy. New  conditions, for ensuring that the union or concatenation of CREG languages is  closed,  are presented and applied to the commutative SLI"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5604","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1405.5604","created_at":"2026-05-18T02:51:16.205485+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.5604v1","created_at":"2026-05-18T02:51:16.205485+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5604","created_at":"2026-05-18T02:51:16.205485+00:00"},{"alias_kind":"pith_short_12","alias_value":"FYJMWF5HQYDP","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"FYJMWF5HQYDPH3QL","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"FYJMWF5H","created_at":"2026-05-18T12:28:28.263976+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2","json":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2.json","graph_json":"https://pith.science/api/pith-number/FYJMWF5HQYDPH3QLZQOJNW3RV2/graph.json","events_json":"https://pith.science/api/pith-number/FYJMWF5HQYDPH3QLZQOJNW3RV2/events.json","paper":"https://pith.science/paper/FYJMWF5H"},"agent_actions":{"view_html":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2","download_json":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2.json","view_paper":"https://pith.science/paper/FYJMWF5H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.5604&json=true","fetch_graph":"https://pith.science/api/pith-number/FYJMWF5HQYDPH3QLZQOJNW3RV2/graph.json","fetch_events":"https://pith.science/api/pith-number/FYJMWF5HQYDPH3QLZQOJNW3RV2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2/action/storage_attestation","attest_author":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2/action/author_attestation","sign_citation":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2/action/citation_signature","submit_replication":"https://pith.science/pith/FYJMWF5HQYDPH3QLZQOJNW3RV2/action/replication_record"}},"created_at":"2026-05-18T02:51:16.205485+00:00","updated_at":"2026-05-18T02:51:16.205485+00:00"}