{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7FEQAHOY67B66AK5CVYKHZEFNB","short_pith_number":"pith:7FEQAHOY","canonical_record":{"source":{"id":"1801.08979","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-01-26T21:16:21Z","cross_cats_sorted":[],"title_canon_sha256":"0a7ed599a4a0ca63237172517232470f8e0b3301760eeb1b935044f6dbffa94f","abstract_canon_sha256":"48098c6d0103465b408771243e64b841a813d7a20fe420cdf685a787898a2790"},"schema_version":"1.0"},"canonical_sha256":"f949001dd8f7c3ef015d1570a3e485686978e9df542479fed9404ab4331075e1","source":{"kind":"arxiv","id":"1801.08979","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.08979","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"arxiv_version","alias_value":"1801.08979v1","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.08979","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"pith_short_12","alias_value":"7FEQAHOY67B6","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7FEQAHOY67B66AK5","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7FEQAHOY","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7FEQAHOY67B66AK5CVYKHZEFNB","target":"record","payload":{"canonical_record":{"source":{"id":"1801.08979","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-01-26T21:16:21Z","cross_cats_sorted":[],"title_canon_sha256":"0a7ed599a4a0ca63237172517232470f8e0b3301760eeb1b935044f6dbffa94f","abstract_canon_sha256":"48098c6d0103465b408771243e64b841a813d7a20fe420cdf685a787898a2790"},"schema_version":"1.0"},"canonical_sha256":"f949001dd8f7c3ef015d1570a3e485686978e9df542479fed9404ab4331075e1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:58.957227Z","signature_b64":"ah/xUpbCSENQMlxXiITtZPf/DN/XGmqyY2Sp1bzcL1tuizX13xR5uq9bXsbXpfLHGYwdaEB1de8flFIFGI7jAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f949001dd8f7c3ef015d1570a3e485686978e9df542479fed9404ab4331075e1","last_reissued_at":"2026-05-18T00:24:58.956554Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:58.956554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.08979","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:24:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bi8claIXfvigj6daLPPrRFVuwmOd3EFA+qQSggC2PV/1pW4H5jHAAKTj5oi/CePm0CPq91xNNywIY/4W3wkwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:34:55.223282Z"},"content_sha256":"f32a3626684284bcbe607d8ad6691310bae9bd3df0a64cca9c3a1bd74127d989","schema_version":"1.0","event_id":"sha256:f32a3626684284bcbe607d8ad6691310bae9bd3df0a64cca9c3a1bd74127d989"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7FEQAHOY67B66AK5CVYKHZEFNB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sequential Circuits from Regular Expressions Revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dogan Ulus","submitted_at":"2018-01-26T21:16:21Z","abstract_excerpt":"We revisit the long-neglected problem of sequential circuit constructions from regular expressions. The class of languages that are recognized by sequential circuits is equivalent to the class of regular languages. This fact is shown in [5] together with an inductive construction technique from regular expressions. In this note, we present an alternative algorithm, called the trigger-set approach, obtained by reversing well-known the follow-set approach to construct automata. We use our algorithm to obtain a regular expression matcher based on sequential circuits. Finally, we report our perfor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.08979","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:24:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UMSlIqw0UM3XNZCY6mnmz2nPB1cxpRrnXlFEKGZgOuBx0+L4om3dwmn5YnJwEOaDNeQkFpDFnt+3KbYh8lGADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:34:55.223969Z"},"content_sha256":"42b71b5ef6d99acbbae8065ef16dcdc5006bf2a7c3028af5b0b0f89720ba92f3","schema_version":"1.0","event_id":"sha256:42b71b5ef6d99acbbae8065ef16dcdc5006bf2a7c3028af5b0b0f89720ba92f3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7FEQAHOY67B66AK5CVYKHZEFNB/bundle.json","state_url":"https://pith.science/pith/7FEQAHOY67B66AK5CVYKHZEFNB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7FEQAHOY67B66AK5CVYKHZEFNB/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-30T22:34:55Z","links":{"resolver":"https://pith.science/pith/7FEQAHOY67B66AK5CVYKHZEFNB","bundle":"https://pith.science/pith/7FEQAHOY67B66AK5CVYKHZEFNB/bundle.json","state":"https://pith.science/pith/7FEQAHOY67B66AK5CVYKHZEFNB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7FEQAHOY67B66AK5CVYKHZEFNB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7FEQAHOY67B66AK5CVYKHZEFNB","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":"48098c6d0103465b408771243e64b841a813d7a20fe420cdf685a787898a2790","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-01-26T21:16:21Z","title_canon_sha256":"0a7ed599a4a0ca63237172517232470f8e0b3301760eeb1b935044f6dbffa94f"},"schema_version":"1.0","source":{"id":"1801.08979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.08979","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"arxiv_version","alias_value":"1801.08979v1","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.08979","created_at":"2026-05-18T00:24:58Z"},{"alias_kind":"pith_short_12","alias_value":"7FEQAHOY67B6","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7FEQAHOY67B66AK5","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7FEQAHOY","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:42b71b5ef6d99acbbae8065ef16dcdc5006bf2a7c3028af5b0b0f89720ba92f3","target":"graph","created_at":"2026-05-18T00:24:58Z","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":"We revisit the long-neglected problem of sequential circuit constructions from regular expressions. The class of languages that are recognized by sequential circuits is equivalent to the class of regular languages. This fact is shown in [5] together with an inductive construction technique from regular expressions. In this note, we present an alternative algorithm, called the trigger-set approach, obtained by reversing well-known the follow-set approach to construct automata. We use our algorithm to obtain a regular expression matcher based on sequential circuits. Finally, we report our perfor","authors_text":"Dogan Ulus","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-01-26T21:16:21Z","title":"Sequential Circuits from Regular Expressions Revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.08979","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:f32a3626684284bcbe607d8ad6691310bae9bd3df0a64cca9c3a1bd74127d989","target":"record","created_at":"2026-05-18T00:24:58Z","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":"48098c6d0103465b408771243e64b841a813d7a20fe420cdf685a787898a2790","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-01-26T21:16:21Z","title_canon_sha256":"0a7ed599a4a0ca63237172517232470f8e0b3301760eeb1b935044f6dbffa94f"},"schema_version":"1.0","source":{"id":"1801.08979","kind":"arxiv","version":1}},"canonical_sha256":"f949001dd8f7c3ef015d1570a3e485686978e9df542479fed9404ab4331075e1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f949001dd8f7c3ef015d1570a3e485686978e9df542479fed9404ab4331075e1","first_computed_at":"2026-05-18T00:24:58.956554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:58.956554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ah/xUpbCSENQMlxXiITtZPf/DN/XGmqyY2Sp1bzcL1tuizX13xR5uq9bXsbXpfLHGYwdaEB1de8flFIFGI7jAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:58.957227Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.08979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f32a3626684284bcbe607d8ad6691310bae9bd3df0a64cca9c3a1bd74127d989","sha256:42b71b5ef6d99acbbae8065ef16dcdc5006bf2a7c3028af5b0b0f89720ba92f3"],"state_sha256":"f62785342e8a6e29a1e2c2c468b631a163dd571fe261ed8628c272b7e9f6762e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZyfjJDdzK/u24C8VwquP8ElLcoKkK5bWl6spIfpKwTkeQtp3f9fpvBdyB0d3D/U3X1CsIg1KCJian9VvLjtPBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T22:34:55.226661Z","bundle_sha256":"4ba789a49d82fe60e81338629957d72550c3a6b88cfd7ba31e5743ee6752f337"}}