{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3ZOVU4OIILYQ5NY23A4242NZVU","short_pith_number":"pith:3ZOVU4OI","canonical_record":{"source":{"id":"1703.10056","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-03-29T14:18:23Z","cross_cats_sorted":[],"title_canon_sha256":"8eb3ba232ba5510a916ac52c77ccee4402500d73cbc6a16695b573a5c98c58a9","abstract_canon_sha256":"6980e2c0307ba2b0a9ff7ad54959bb9fe41d2c4a755bf6c00d91935511ee2526"},"schema_version":"1.0"},"canonical_sha256":"de5d5a71c842f10eb71ad839ae69b9ad1a40e6438d10867104fc57ea3c42c673","source":{"kind":"arxiv","id":"1703.10056","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10056","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10056v1","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10056","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"pith_short_12","alias_value":"3ZOVU4OIILYQ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3ZOVU4OIILYQ5NY2","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3ZOVU4OI","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3ZOVU4OIILYQ5NY23A4242NZVU","target":"record","payload":{"canonical_record":{"source":{"id":"1703.10056","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-03-29T14:18:23Z","cross_cats_sorted":[],"title_canon_sha256":"8eb3ba232ba5510a916ac52c77ccee4402500d73cbc6a16695b573a5c98c58a9","abstract_canon_sha256":"6980e2c0307ba2b0a9ff7ad54959bb9fe41d2c4a755bf6c00d91935511ee2526"},"schema_version":"1.0"},"canonical_sha256":"de5d5a71c842f10eb71ad839ae69b9ad1a40e6438d10867104fc57ea3c42c673","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:38.725529Z","signature_b64":"qKkA/k2zL/ZhtuLJ+k5/LhNlRokhFDazjFSPBLUVqejkYQvqTKoNAevw95OYNuRHAYR0M0o/MQh9CWzyCKXEBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de5d5a71c842f10eb71ad839ae69b9ad1a40e6438d10867104fc57ea3c42c673","last_reissued_at":"2026-05-18T00:47:38.724985Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:38.724985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.10056","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-18T00:47:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B8TaRXrjSDqPPF5KnVpkDwgVth4GeobQ3EDktbLfDYDe176VEbnlRiS/UT5qXFq0G80971L+etkcEapLCUTJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:23:02.804466Z"},"content_sha256":"9dce673703f0f9e47743de750724b8d859a995e8367c71ddeafb61571891c734","schema_version":"1.0","event_id":"sha256:9dce673703f0f9e47743de750724b8d859a995e8367c71ddeafb61571891c734"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3ZOVU4OIILYQ5NY23A4242NZVU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parikh-reducing Church-Rosser representations for some classes of regular languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Tobias Walter","submitted_at":"2017-03-29T14:18:23Z","abstract_excerpt":"In this paper the concept of Parikh-reducing Church-Rosser systems is studied. It is shown that for two classes of regular languages there exist such systems which describe the languages using finitely many equivalence classes of the rewriting system. The two classes are: 1.) the class of all regular languages such that the syntactic monoid contains only abelian groups and 2.) the class of all group languages over a two-letter alphabet. The construction of the systems yield a monoid representation such that all subgroups are abelian. Additionally, the complexity of those representations is stu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10056","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-18T00:47:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/JJ6m0s/B3Ua0dDtFz9nq/spiN0X4Sp60Howunm45q2e5l61YFL/+COriRGvqiMRDLS3nViqKZUBNM7yYbEHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:23:02.804814Z"},"content_sha256":"e74c84c14be15c770b970a1470f1da0dfdedc1f74e86c49abc9e12a92a4ecd55","schema_version":"1.0","event_id":"sha256:e74c84c14be15c770b970a1470f1da0dfdedc1f74e86c49abc9e12a92a4ecd55"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3ZOVU4OIILYQ5NY23A4242NZVU/bundle.json","state_url":"https://pith.science/pith/3ZOVU4OIILYQ5NY23A4242NZVU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3ZOVU4OIILYQ5NY23A4242NZVU/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-23T21:23:02Z","links":{"resolver":"https://pith.science/pith/3ZOVU4OIILYQ5NY23A4242NZVU","bundle":"https://pith.science/pith/3ZOVU4OIILYQ5NY23A4242NZVU/bundle.json","state":"https://pith.science/pith/3ZOVU4OIILYQ5NY23A4242NZVU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3ZOVU4OIILYQ5NY23A4242NZVU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3ZOVU4OIILYQ5NY23A4242NZVU","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":"6980e2c0307ba2b0a9ff7ad54959bb9fe41d2c4a755bf6c00d91935511ee2526","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-03-29T14:18:23Z","title_canon_sha256":"8eb3ba232ba5510a916ac52c77ccee4402500d73cbc6a16695b573a5c98c58a9"},"schema_version":"1.0","source":{"id":"1703.10056","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10056","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10056v1","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10056","created_at":"2026-05-18T00:47:38Z"},{"alias_kind":"pith_short_12","alias_value":"3ZOVU4OIILYQ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3ZOVU4OIILYQ5NY2","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3ZOVU4OI","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:e74c84c14be15c770b970a1470f1da0dfdedc1f74e86c49abc9e12a92a4ecd55","target":"graph","created_at":"2026-05-18T00:47:38Z","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 the concept of Parikh-reducing Church-Rosser systems is studied. It is shown that for two classes of regular languages there exist such systems which describe the languages using finitely many equivalence classes of the rewriting system. The two classes are: 1.) the class of all regular languages such that the syntactic monoid contains only abelian groups and 2.) the class of all group languages over a two-letter alphabet. The construction of the systems yield a monoid representation such that all subgroups are abelian. Additionally, the complexity of those representations is stu","authors_text":"Tobias Walter","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-03-29T14:18:23Z","title":"Parikh-reducing Church-Rosser representations for some classes of regular languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10056","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:9dce673703f0f9e47743de750724b8d859a995e8367c71ddeafb61571891c734","target":"record","created_at":"2026-05-18T00:47:38Z","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":"6980e2c0307ba2b0a9ff7ad54959bb9fe41d2c4a755bf6c00d91935511ee2526","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-03-29T14:18:23Z","title_canon_sha256":"8eb3ba232ba5510a916ac52c77ccee4402500d73cbc6a16695b573a5c98c58a9"},"schema_version":"1.0","source":{"id":"1703.10056","kind":"arxiv","version":1}},"canonical_sha256":"de5d5a71c842f10eb71ad839ae69b9ad1a40e6438d10867104fc57ea3c42c673","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de5d5a71c842f10eb71ad839ae69b9ad1a40e6438d10867104fc57ea3c42c673","first_computed_at":"2026-05-18T00:47:38.724985Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:38.724985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qKkA/k2zL/ZhtuLJ+k5/LhNlRokhFDazjFSPBLUVqejkYQvqTKoNAevw95OYNuRHAYR0M0o/MQh9CWzyCKXEBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:38.725529Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.10056","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9dce673703f0f9e47743de750724b8d859a995e8367c71ddeafb61571891c734","sha256:e74c84c14be15c770b970a1470f1da0dfdedc1f74e86c49abc9e12a92a4ecd55"],"state_sha256":"40f2a56a85eb589610f4cef1f97508f9f9f4a212c176795be9a8bbeb7c314b92"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ng7gh21HaXQXQyikEde+zSk7uyNzVKm/8N8KuLyNMxpc1O8W+nVN3UI5C1kWiBliJhH05vXhJ4h+cO2M+j/FDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T21:23:02.806822Z","bundle_sha256":"35bc4c7a8264a8664d5d15abd56b0ebb3fcf3d9b7f92e2028f62b61fa3f8684e"}}