{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:VXMG6FJHNOFEIJEPGX7MH5J5CD","short_pith_number":"pith:VXMG6FJH","schema_version":"1.0","canonical_sha256":"add86f15276b8a44248f35fec3f53d10f24227a2e1e5c030925a505fd4284d3d","source":{"kind":"arxiv","id":"1206.0995","version":1},"attestation_state":"computed","paper":{"title":"Infinite Synchronizing Words for Probabilistic Automata (Erratum)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Laurent Doyen, Mahsa Shirmohammadi, Thierry Massart","submitted_at":"2012-03-19T17:54:53Z","abstract_excerpt":"In [1], we introduced the weakly synchronizing languages for probabilistic automata. In this report, we show that the emptiness problem of weakly synchronizing languages for probabilistic automata is undecidable. This implies that the decidability result of [1-3] for the emptiness problem of weakly synchronizing language is incorrect."},"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":"1206.0995","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-03-19T17:54:53Z","cross_cats_sorted":[],"title_canon_sha256":"e4b0d5b22898110c66ddcf3d0d9fade6fb85c07a5339c482d098311a1b4fa4c2","abstract_canon_sha256":"f5df48444aa4c69d71e48d82da59f4b0c8ced3d9abdc22ec4074f301c53f121c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:15.561569Z","signature_b64":"2hhChICRdJkC9r6ejuGaN70xRzIJrnbWgu90tB6QIm0qf0bj5Ugm0NWpmCzD+KN/0LQPlqK7W39uMVAT2V+kBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"add86f15276b8a44248f35fec3f53d10f24227a2e1e5c030925a505fd4284d3d","last_reissued_at":"2026-05-18T03:54:15.561140Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:15.561140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Infinite Synchronizing Words for Probabilistic Automata (Erratum)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Laurent Doyen, Mahsa Shirmohammadi, Thierry Massart","submitted_at":"2012-03-19T17:54:53Z","abstract_excerpt":"In [1], we introduced the weakly synchronizing languages for probabilistic automata. In this report, we show that the emptiness problem of weakly synchronizing languages for probabilistic automata is undecidable. This implies that the decidability result of [1-3] for the emptiness problem of weakly synchronizing language is incorrect."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.0995","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":"1206.0995","created_at":"2026-05-18T03:54:15.561209+00:00"},{"alias_kind":"arxiv_version","alias_value":"1206.0995v1","created_at":"2026-05-18T03:54:15.561209+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.0995","created_at":"2026-05-18T03:54:15.561209+00:00"},{"alias_kind":"pith_short_12","alias_value":"VXMG6FJHNOFE","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_16","alias_value":"VXMG6FJHNOFEIJEP","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_8","alias_value":"VXMG6FJH","created_at":"2026-05-18T12:27:25.539911+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/VXMG6FJHNOFEIJEPGX7MH5J5CD","json":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD.json","graph_json":"https://pith.science/api/pith-number/VXMG6FJHNOFEIJEPGX7MH5J5CD/graph.json","events_json":"https://pith.science/api/pith-number/VXMG6FJHNOFEIJEPGX7MH5J5CD/events.json","paper":"https://pith.science/paper/VXMG6FJH"},"agent_actions":{"view_html":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD","download_json":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD.json","view_paper":"https://pith.science/paper/VXMG6FJH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1206.0995&json=true","fetch_graph":"https://pith.science/api/pith-number/VXMG6FJHNOFEIJEPGX7MH5J5CD/graph.json","fetch_events":"https://pith.science/api/pith-number/VXMG6FJHNOFEIJEPGX7MH5J5CD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD/action/storage_attestation","attest_author":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD/action/author_attestation","sign_citation":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD/action/citation_signature","submit_replication":"https://pith.science/pith/VXMG6FJHNOFEIJEPGX7MH5J5CD/action/replication_record"}},"created_at":"2026-05-18T03:54:15.561209+00:00","updated_at":"2026-05-18T03:54:15.561209+00:00"}