{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:67Q2JKG732NF4YFKPQ5F5N6ZEN","short_pith_number":"pith:67Q2JKG7","canonical_record":{"source":{"id":"1102.5013","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","cross_cats_sorted":[],"title_canon_sha256":"16d5962bc5cee2026e3643a3c46dbe3e6939e60cc612c72766a9bb9368cd3d3e","abstract_canon_sha256":"462cb27a4e9512b72c475227d9a3d1f71d9138a2f09acbc2342213d519112931"},"schema_version":"1.0"},"canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","source":{"kind":"arxiv","id":"1102.5013","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.5013","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"arxiv_version","alias_value":"1102.5013v3","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5013","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"pith_short_12","alias_value":"67Q2JKG732NF","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"67Q2JKG732NF4YFK","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"67Q2JKG7","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:67Q2JKG732NF4YFKPQ5F5N6ZEN","target":"record","payload":{"canonical_record":{"source":{"id":"1102.5013","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","cross_cats_sorted":[],"title_canon_sha256":"16d5962bc5cee2026e3643a3c46dbe3e6939e60cc612c72766a9bb9368cd3d3e","abstract_canon_sha256":"462cb27a4e9512b72c475227d9a3d1f71d9138a2f09acbc2342213d519112931"},"schema_version":"1.0"},"canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:31.194661Z","signature_b64":"7TVKXMAc/ItWMa8dOACDIthJwB1bHzsv71Dks7a8Lbc1dP+YkkFulQ0bLqH4pkoifStF4lKRjWlSSPVzapGABw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","last_reissued_at":"2026-05-18T02:22:31.194158Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:31.194158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.5013","source_version":3,"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-18T02:22:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TAjD0yizU+wK3Sz7p95z0YL0Q4eFSqzZkXxp5v5soW5TSVTTvO1TL/DcxFBFkvNdftzTlNbYIhnjji33BBqRBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T15:39:22.191882Z"},"content_sha256":"4b79f4e07e0d7a319a2ce23973bfa28d4fb7ab7fe4ae23eb64e320958d459c86","schema_version":"1.0","event_id":"sha256:4b79f4e07e0d7a319a2ce23973bfa28d4fb7ab7fe4ae23eb64e320958d459c86"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:67Q2JKG732NF4YFKPQ5F5N6ZEN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular Ideal Languages and Their Boolean Combinations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alexander Lauser, Franz Jahn, Manfred Kufleitner","submitted_at":"2011-02-24T15:16:21Z","abstract_excerpt":"We consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean combinations. These properties include effective algebraic characterizations and lattice identities.\n  In the main part of this paper we consider the following deterministic one-way automaton models: unions of flip automata, weak automata, and Staiger-Wagner automata. We show that each of these models is expressively complete for regular Boolean combination of right i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5013","kind":"arxiv","version":3},"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-18T02:22:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FM/BWgk5kkSyLwwH0O8t4RndrW41WfQO4YNjiwn7GlchKHBl6UsCTw29L8N2TVkhvKKmERJbpgKdo7MZaQ53CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T15:39:22.192353Z"},"content_sha256":"8727e15cd7c1700630d303e2eec3f34961ecd43a21df583db678761e8137547e","schema_version":"1.0","event_id":"sha256:8727e15cd7c1700630d303e2eec3f34961ecd43a21df583db678761e8137547e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/bundle.json","state_url":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/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-04T15:39:22Z","links":{"resolver":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN","bundle":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/bundle.json","state":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:67Q2JKG732NF4YFKPQ5F5N6ZEN","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":"462cb27a4e9512b72c475227d9a3d1f71d9138a2f09acbc2342213d519112931","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","title_canon_sha256":"16d5962bc5cee2026e3643a3c46dbe3e6939e60cc612c72766a9bb9368cd3d3e"},"schema_version":"1.0","source":{"id":"1102.5013","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.5013","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"arxiv_version","alias_value":"1102.5013v3","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5013","created_at":"2026-05-18T02:22:31Z"},{"alias_kind":"pith_short_12","alias_value":"67Q2JKG732NF","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"67Q2JKG732NF4YFK","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"67Q2JKG7","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:8727e15cd7c1700630d303e2eec3f34961ecd43a21df583db678761e8137547e","target":"graph","created_at":"2026-05-18T02:22:31Z","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 consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean combinations. These properties include effective algebraic characterizations and lattice identities.\n  In the main part of this paper we consider the following deterministic one-way automaton models: unions of flip automata, weak automata, and Staiger-Wagner automata. We show that each of these models is expressively complete for regular Boolean combination of right i","authors_text":"Alexander Lauser, Franz Jahn, Manfred Kufleitner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","title":"Regular Ideal Languages and Their Boolean Combinations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5013","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:4b79f4e07e0d7a319a2ce23973bfa28d4fb7ab7fe4ae23eb64e320958d459c86","target":"record","created_at":"2026-05-18T02:22:31Z","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":"462cb27a4e9512b72c475227d9a3d1f71d9138a2f09acbc2342213d519112931","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","title_canon_sha256":"16d5962bc5cee2026e3643a3c46dbe3e6939e60cc612c72766a9bb9368cd3d3e"},"schema_version":"1.0","source":{"id":"1102.5013","kind":"arxiv","version":3}},"canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","first_computed_at":"2026-05-18T02:22:31.194158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:31.194158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7TVKXMAc/ItWMa8dOACDIthJwB1bHzsv71Dks7a8Lbc1dP+YkkFulQ0bLqH4pkoifStF4lKRjWlSSPVzapGABw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:31.194661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.5013","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b79f4e07e0d7a319a2ce23973bfa28d4fb7ab7fe4ae23eb64e320958d459c86","sha256:8727e15cd7c1700630d303e2eec3f34961ecd43a21df583db678761e8137547e"],"state_sha256":"5de64df876eb6b6889005dea007f859858937f33dbc797df9734e4a958f489c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9KYo0envoe++ndDglRIF325ZiEfMWC5Xmuplzqmc/6o+gp0LDYBTphXYWtRIG04EUhe3f/cdrWm/q/g3mlsDBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T15:39:22.194924Z","bundle_sha256":"6970811952487b706636d20990aa36cda642f16f4690b2448d676dee3c59b16e"}}