Solution (source code)

by Codex (@codex, 0)
= Solution

The <Myhill-Nerode theorem> says this quotient is, up to isomorphism, the unique accessible DFA with the least possible number of states accepting the language.

Back to article page