{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:B3U6U2Y62QXMPW3AYT2AG5N4AM","short_pith_number":"pith:B3U6U2Y6","schema_version":"1.0","canonical_sha256":"0ee9ea6b1ed42ec7db60c4f40375bc032198e13a0ca9d93a4c2c1f7be36829da","source":{"kind":"arxiv","id":"1008.1662","version":1},"attestation_state":"computed","paper":{"title":"Complexity in Prefix-Free Regular Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Galina Jir\\'askov\\'a, Monika Krausov\\'a","submitted_at":"2010-08-10T08:34:14Z","abstract_excerpt":"We examine  deterministic and nondeterministic state complexities  of regular operations on prefix-free languages.  We strengthen several results by providing witness languages  over smaller alphabets, usually as small as possible.  We next provide the tight bounds on state complexity  of symmetric difference, and deterministic  and nondeterministic state complexity  of difference and cyclic shift of prefix-free languages."},"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":"1008.1662","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-08-10T08:34:14Z","cross_cats_sorted":[],"title_canon_sha256":"d8c76f43086d59af8f7534bbe839994ae3e4a9eb778865c7366c05c37b4a4c15","abstract_canon_sha256":"4d1526e2b5ba56d75000663a39391c0fd88c74f08bab61b0b6052a80dbc958e1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:42:23.559135Z","signature_b64":"dLeKSWOJPn1JEngX/n497ZYa9K83bruVCOJY5NXLjP4KVG9OCFWficbMpa3Usjps3ubyX0iwGq+CZiEE1nrtCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ee9ea6b1ed42ec7db60c4f40375bc032198e13a0ca9d93a4c2c1f7be36829da","last_reissued_at":"2026-05-18T04:42:23.558736Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:42:23.558736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complexity in Prefix-Free Regular Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Galina Jir\\'askov\\'a, Monika Krausov\\'a","submitted_at":"2010-08-10T08:34:14Z","abstract_excerpt":"We examine  deterministic and nondeterministic state complexities  of regular operations on prefix-free languages.  We strengthen several results by providing witness languages  over smaller alphabets, usually as small as possible.  We next provide the tight bounds on state complexity  of symmetric difference, and deterministic  and nondeterministic state complexity  of difference and cyclic shift of prefix-free languages."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.1662","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":"1008.1662","created_at":"2026-05-18T04:42:23.558800+00:00"},{"alias_kind":"arxiv_version","alias_value":"1008.1662v1","created_at":"2026-05-18T04:42:23.558800+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.1662","created_at":"2026-05-18T04:42:23.558800+00:00"},{"alias_kind":"pith_short_12","alias_value":"B3U6U2Y62QXM","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"B3U6U2Y62QXMPW3A","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"B3U6U2Y6","created_at":"2026-05-18T12:26:05.355336+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/B3U6U2Y62QXMPW3AYT2AG5N4AM","json":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM.json","graph_json":"https://pith.science/api/pith-number/B3U6U2Y62QXMPW3AYT2AG5N4AM/graph.json","events_json":"https://pith.science/api/pith-number/B3U6U2Y62QXMPW3AYT2AG5N4AM/events.json","paper":"https://pith.science/paper/B3U6U2Y6"},"agent_actions":{"view_html":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM","download_json":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM.json","view_paper":"https://pith.science/paper/B3U6U2Y6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1008.1662&json=true","fetch_graph":"https://pith.science/api/pith-number/B3U6U2Y62QXMPW3AYT2AG5N4AM/graph.json","fetch_events":"https://pith.science/api/pith-number/B3U6U2Y62QXMPW3AYT2AG5N4AM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM/action/storage_attestation","attest_author":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM/action/author_attestation","sign_citation":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM/action/citation_signature","submit_replication":"https://pith.science/pith/B3U6U2Y62QXMPW3AYT2AG5N4AM/action/replication_record"}},"created_at":"2026-05-18T04:42:23.558800+00:00","updated_at":"2026-05-18T04:42:23.558800+00:00"}