{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4KKZEP7B4XMDSV5RJCDMM53QJ6","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":"53b1625289ea053a623e53f95759de0b59edd59b81ad9a490cf9a271ca95e872","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-02-22T11:16:47Z","title_canon_sha256":"b4d63152862820662abe12bae7600b7cb751fd2fa83b4f8b1732d5b726d433ff"},"schema_version":"1.0","source":{"id":"1202.4883","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.4883","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"arxiv_version","alias_value":"1202.4883v3","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.4883","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"pith_short_12","alias_value":"4KKZEP7B4XMD","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4KKZEP7B4XMDSV5R","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4KKZEP7B","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:3ef38497fda3fb6c0971ed0376f02b8f7e826dbf482ae4a9679b9741a777016f","target":"graph","created_at":"2026-05-18T02:21:17Z","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":"A recent study on structural properties of regular and context-free languages has greatly promoted our basic understandings of the complex behaviors of those languages. We continue the study to examine how regular languages behave when they need to cut numerous infinite languages. A particular interest rests on a situation in which a regular language needs to \"dissect\" a given infinite language into two subsets of infinite size. Every context-free language is dissected by carefully chosen regular languages (or it is REG-dissectible). In a larger picture, we show that constantly-growing languag","authors_text":"Tomoyuki Yamakami, Yuichi Kato","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-02-22T11:16:47Z","title":"The Dissecting Power of Regular Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.4883","kind":"arxiv","version":3},"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:74fa871116c1dc1502721b453ff7a89d97c0d2fd7c47afc6a00064a995803748","target":"record","created_at":"2026-05-18T02:21:17Z","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":"53b1625289ea053a623e53f95759de0b59edd59b81ad9a490cf9a271ca95e872","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-02-22T11:16:47Z","title_canon_sha256":"b4d63152862820662abe12bae7600b7cb751fd2fa83b4f8b1732d5b726d433ff"},"schema_version":"1.0","source":{"id":"1202.4883","kind":"arxiv","version":3}},"canonical_sha256":"e295923fe1e5d83957b14886c677704f9cacdb43b8c92b0c320cf580c06ed309","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e295923fe1e5d83957b14886c677704f9cacdb43b8c92b0c320cf580c06ed309","first_computed_at":"2026-05-18T02:21:17.682979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:17.682979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gkugW7Z+BLawc/IIwZt98Bvjcow8yS5ZvnGIoalJptqwloNOg+sMGlbSXj8DAUhlz/jq9I1qB4lgrRe8s3HmBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:17.683669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.4883","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:74fa871116c1dc1502721b453ff7a89d97c0d2fd7c47afc6a00064a995803748","sha256:3ef38497fda3fb6c0971ed0376f02b8f7e826dbf482ae4a9679b9741a777016f"],"state_sha256":"14d96adaf753aca7158d3bb76ecc742de4ec8885560b804b39f51f45246da6f1"}