Publication v4
Canonical question, exact result scopes, proof evidence, contributors, history and explanatory examples.
Formal proofs: No complete proof-assistant artifact was identified in the selected paper. The source supplies linear-algebra and combinatorial proofs; the finite example trace is explanatory.
AI-assisted work: Zhu’s author verification and model assistance are disclosed in the manuscript; they are separate from an independent OpenMath review.
Selected primary manuscript versions and their cited original literature, checked on 14 October 2026. This is not an exhaustive literature review; the introduction’s account of Černý’s examples.
Checked Oct 14, 2026 · independent review pending.
General Černý conjecture remains open · observed Oct 14, 2026
Source status dated Jul 22, 2026 · observed Oct 14, 2026
All complete synchronizing deterministic finite automata.
Yinfeng Zhu · metadata-link · Source document rights apply; OpenMath publishes original paraphrases.
Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive. Rights / source terms
cerny-synchronization:entry:question:v1cerny-synchronization:entry:positive-level:v1cerny-synchronization:entry:sharpness:v1cerny-synchronization:entry:circular:v1cerny-synchronization:entry:cerny-examples:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.