{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:56SU2LQWCVMUQ5FAKTSSIYYVYS","short_pith_number":"pith:56SU2LQW","canonical_record":{"source":{"id":"1605.07805","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-05-25T10:11:03Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3f01f60c254e2bdb1324a4de70b6fcdac3b53de67edb971a64712da7eface9c9","abstract_canon_sha256":"6ff4eb0ae81e48a8a9450a269c7454ca6b572b98e556a8f3bb9d6e224a7b840f"},"schema_version":"1.0"},"canonical_sha256":"efa54d2e1615594874a054e5246315c49b6cad0c20c4ed2424a345a3eded5f63","source":{"kind":"arxiv","id":"1605.07805","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07805","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07805v2","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07805","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"56SU2LQWCVMU","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"56SU2LQWCVMUQ5FA","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"56SU2LQW","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:56SU2LQWCVMUQ5FAKTSSIYYVYS","target":"record","payload":{"canonical_record":{"source":{"id":"1605.07805","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-05-25T10:11:03Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3f01f60c254e2bdb1324a4de70b6fcdac3b53de67edb971a64712da7eface9c9","abstract_canon_sha256":"6ff4eb0ae81e48a8a9450a269c7454ca6b572b98e556a8f3bb9d6e224a7b840f"},"schema_version":"1.0"},"canonical_sha256":"efa54d2e1615594874a054e5246315c49b6cad0c20c4ed2424a345a3eded5f63","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:06:24.216334Z","signature_b64":"tFcJrk6nMWlkEDQzgXdbrAvVmz9RmXR3sLztywnwsoDrrTnqhfWGVYvqDw22/MMEp41TEE20lgC50C9FXz4PCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efa54d2e1615594874a054e5246315c49b6cad0c20c4ed2424a345a3eded5f63","last_reissued_at":"2026-05-18T01:06:24.215953Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:06:24.215953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.07805","source_version":2,"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-18T01:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3x4b/qwiSR7C/wC6WzwAOu/fUkNd9fzIKw5iEzrDxMeHW2xMmhV/kNRkkvNzt7b9OcY04NrXTMbe07Igy2vBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:01:07.168906Z"},"content_sha256":"f29c763d21c7c0d1892cde959c00501fb73dc7c2fb56af326cf1e7df2010acb8","schema_version":"1.0","event_id":"sha256:f29c763d21c7c0d1892cde959c00501fb73dc7c2fb56af326cf1e7df2010acb8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:56SU2LQWCVMUQ5FAKTSSIYYVYS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Moore Machines from Input-Output Traces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.FL","authors_text":"Georgios Giantamidis, Stavros Tripakis","submitted_at":"2016-05-25T10:11:03Z","abstract_excerpt":"The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07805","kind":"arxiv","version":2},"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-18T01:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n0nDLcUUxa9a56n+4DiJel3KdeBuKg1PuI0bM05Bp3mGQOfPBJIR17XYH24hARLVzw+qDWfMcnY89jTCdSZQDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:01:07.169455Z"},"content_sha256":"d5567ac612e15029a7524aa7f0e726c621c11c9e4aae440ba77c11f4a27db535","schema_version":"1.0","event_id":"sha256:d5567ac612e15029a7524aa7f0e726c621c11c9e4aae440ba77c11f4a27db535"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/bundle.json","state_url":"https://pith.science/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/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-03T09:01:07Z","links":{"resolver":"https://pith.science/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS","bundle":"https://pith.science/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/bundle.json","state":"https://pith.science/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/56SU2LQWCVMUQ5FAKTSSIYYVYS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:56SU2LQWCVMUQ5FAKTSSIYYVYS","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":"6ff4eb0ae81e48a8a9450a269c7454ca6b572b98e556a8f3bb9d6e224a7b840f","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-05-25T10:11:03Z","title_canon_sha256":"3f01f60c254e2bdb1324a4de70b6fcdac3b53de67edb971a64712da7eface9c9"},"schema_version":"1.0","source":{"id":"1605.07805","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07805","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07805v2","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07805","created_at":"2026-05-18T01:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"56SU2LQWCVMU","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"56SU2LQWCVMUQ5FA","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"56SU2LQW","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:d5567ac612e15029a7524aa7f0e726c621c11c9e4aae440ba77c11f4a27db535","target":"graph","created_at":"2026-05-18T01:06:24Z","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":"The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automat","authors_text":"Georgios Giantamidis, Stavros Tripakis","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-05-25T10:11:03Z","title":"Learning Moore Machines from Input-Output Traces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07805","kind":"arxiv","version":2},"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:f29c763d21c7c0d1892cde959c00501fb73dc7c2fb56af326cf1e7df2010acb8","target":"record","created_at":"2026-05-18T01:06:24Z","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":"6ff4eb0ae81e48a8a9450a269c7454ca6b572b98e556a8f3bb9d6e224a7b840f","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-05-25T10:11:03Z","title_canon_sha256":"3f01f60c254e2bdb1324a4de70b6fcdac3b53de67edb971a64712da7eface9c9"},"schema_version":"1.0","source":{"id":"1605.07805","kind":"arxiv","version":2}},"canonical_sha256":"efa54d2e1615594874a054e5246315c49b6cad0c20c4ed2424a345a3eded5f63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efa54d2e1615594874a054e5246315c49b6cad0c20c4ed2424a345a3eded5f63","first_computed_at":"2026-05-18T01:06:24.215953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:24.215953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tFcJrk6nMWlkEDQzgXdbrAvVmz9RmXR3sLztywnwsoDrrTnqhfWGVYvqDw22/MMEp41TEE20lgC50C9FXz4PCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:24.216334Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.07805","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f29c763d21c7c0d1892cde959c00501fb73dc7c2fb56af326cf1e7df2010acb8","sha256:d5567ac612e15029a7524aa7f0e726c621c11c9e4aae440ba77c11f4a27db535"],"state_sha256":"699e9a55697939115e83473322288365c95631075ae480a5e10200a76bc4f3db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iGfX08R1XkmAbIIj2iroyuvHh4shqD/wdtFK+Z6wvZQFSfOW4iANdqjc0qcHRTP/+r/8DkzdM0EdCKoqsfD2Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T09:01:07.171660Z","bundle_sha256":"1e1e1ab0a3393773bd08da8ecde062b4a7f41a81523c907cd4b5e67ee516075d"}}