{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:2SVQL4X2CVIATFHJNW6IKDFNKX","short_pith_number":"pith:2SVQL4X2","canonical_record":{"source":{"id":"1009.3599","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-19T02:15:49Z","cross_cats_sorted":[],"title_canon_sha256":"0622d7bfa4c4b948b8f1c409d2b1f01beb0657fef4866bb32b4e992947a30427","abstract_canon_sha256":"7128a8c000d92abd8b1bf90852a050a8d1a6ff6b3c705ec399def95f528f4774"},"schema_version":"1.0"},"canonical_sha256":"d4ab05f2fa15500994e96dbc850cad55e0577ef648aa6cf9c61d77ae0c368b25","source":{"kind":"arxiv","id":"1009.3599","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.3599","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1009.3599v1","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.3599","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"2SVQL4X2CVIA","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"2SVQL4X2CVIATFHJ","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"2SVQL4X2","created_at":"2026-05-18T12:26:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:2SVQL4X2CVIATFHJNW6IKDFNKX","target":"record","payload":{"canonical_record":{"source":{"id":"1009.3599","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-19T02:15:49Z","cross_cats_sorted":[],"title_canon_sha256":"0622d7bfa4c4b948b8f1c409d2b1f01beb0657fef4866bb32b4e992947a30427","abstract_canon_sha256":"7128a8c000d92abd8b1bf90852a050a8d1a6ff6b3c705ec399def95f528f4774"},"schema_version":"1.0"},"canonical_sha256":"d4ab05f2fa15500994e96dbc850cad55e0577ef648aa6cf9c61d77ae0c368b25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:40:44.460243Z","signature_b64":"I4XOspV7+IobS3ry6d62T4oHKf2P0kMvWF6pIzG9CV2QM4Uxa0pWU/bXjfc7cLPQ2hzsaYDMiYHAQFdsu9b9CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4ab05f2fa15500994e96dbc850cad55e0577ef648aa6cf9c61d77ae0c368b25","last_reissued_at":"2026-05-18T04:40:44.459662Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:40:44.459662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.3599","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-18T04:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1U0PYF3tN9y65Mv2GzRr4+6YoYiBaZSciyj16/y5CE5F6IqXpWHJt/gp7MdpD9wBar4L+lssIMIHrQCYXvtABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:13:53.934677Z"},"content_sha256":"8b19255d2261763bd247be59f742ebeab1390f197e90fa29b9c1a85c15009aef","schema_version":"1.0","event_id":"sha256:8b19255d2261763bd247be59f742ebeab1390f197e90fa29b9c1a85c15009aef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:2SVQL4X2CVIATFHJNW6IKDFNKX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Small NFAs from Regular Expressions: Some Experimental Results","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Hugo Gouveia, Nelma Moreira, Rog\\'erio Reis","submitted_at":"2010-09-19T02:15:49Z","abstract_excerpt":"Regular expressions (res), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recognition depend on the size of the equivalent nondeterministic finite automata (NFA). We present the implementation of several algorithms for constructing small epsilon-free NFAss from res within the FAdo system, and a comparison of regular expression measures and NFA sizes based on experimental results obtained from uniform random generated res. For this analysis, nonredundant res and reduced res in star normal form wer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.3599","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-18T04:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fV7kul0p7eYnywP61QORFBF/LsYmQyukgbDL2zil+CXGt2jnGlyyF+/RHvhTeV97eCmg9VXGwBoHIAkyi+nHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:13:53.935055Z"},"content_sha256":"d496009b2573388fb55c54dd4238aaf1b39a93cf48ea863fc65d01a9cb83f148","schema_version":"1.0","event_id":"sha256:d496009b2573388fb55c54dd4238aaf1b39a93cf48ea863fc65d01a9cb83f148"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/bundle.json","state_url":"https://pith.science/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/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-05-30T06:13:53Z","links":{"resolver":"https://pith.science/pith/2SVQL4X2CVIATFHJNW6IKDFNKX","bundle":"https://pith.science/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/bundle.json","state":"https://pith.science/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2SVQL4X2CVIATFHJNW6IKDFNKX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:2SVQL4X2CVIATFHJNW6IKDFNKX","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":"7128a8c000d92abd8b1bf90852a050a8d1a6ff6b3c705ec399def95f528f4774","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-19T02:15:49Z","title_canon_sha256":"0622d7bfa4c4b948b8f1c409d2b1f01beb0657fef4866bb32b4e992947a30427"},"schema_version":"1.0","source":{"id":"1009.3599","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.3599","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1009.3599v1","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.3599","created_at":"2026-05-18T04:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"2SVQL4X2CVIA","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"2SVQL4X2CVIATFHJ","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"2SVQL4X2","created_at":"2026-05-18T12:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:d496009b2573388fb55c54dd4238aaf1b39a93cf48ea863fc65d01a9cb83f148","target":"graph","created_at":"2026-05-18T04:40:44Z","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":"Regular expressions (res), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recognition depend on the size of the equivalent nondeterministic finite automata (NFA). We present the implementation of several algorithms for constructing small epsilon-free NFAss from res within the FAdo system, and a comparison of regular expression measures and NFA sizes based on experimental results obtained from uniform random generated res. For this analysis, nonredundant res and reduced res in star normal form wer","authors_text":"Hugo Gouveia, Nelma Moreira, Rog\\'erio Reis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-19T02:15:49Z","title":"Small NFAs from Regular Expressions: Some Experimental Results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.3599","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:8b19255d2261763bd247be59f742ebeab1390f197e90fa29b9c1a85c15009aef","target":"record","created_at":"2026-05-18T04:40:44Z","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":"7128a8c000d92abd8b1bf90852a050a8d1a6ff6b3c705ec399def95f528f4774","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-09-19T02:15:49Z","title_canon_sha256":"0622d7bfa4c4b948b8f1c409d2b1f01beb0657fef4866bb32b4e992947a30427"},"schema_version":"1.0","source":{"id":"1009.3599","kind":"arxiv","version":1}},"canonical_sha256":"d4ab05f2fa15500994e96dbc850cad55e0577ef648aa6cf9c61d77ae0c368b25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4ab05f2fa15500994e96dbc850cad55e0577ef648aa6cf9c61d77ae0c368b25","first_computed_at":"2026-05-18T04:40:44.459662Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:40:44.459662Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I4XOspV7+IobS3ry6d62T4oHKf2P0kMvWF6pIzG9CV2QM4Uxa0pWU/bXjfc7cLPQ2hzsaYDMiYHAQFdsu9b9CA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:40:44.460243Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.3599","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b19255d2261763bd247be59f742ebeab1390f197e90fa29b9c1a85c15009aef","sha256:d496009b2573388fb55c54dd4238aaf1b39a93cf48ea863fc65d01a9cb83f148"],"state_sha256":"ca2efd042bcee01a57e0e7a043f0725339a26ecb195f290d4d368c6adb01432b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5g7dJ7eNmw4gCLQzSaQPvImkeq7wXeSGddzmKeg1mWOxa54sSX8HNpANiUhy9yfqpfA2hycHSnUADTjeVRusBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T06:13:53.937244Z","bundle_sha256":"5c3510fcf97042d035d1bf7248dba715a37a020c15f73fd7d172240d7971e85a"}}