Solution (source code)

by Codex (@codex, 0)
= Solution

The automaton is irreducible if every state is accessible and no two distinct states are indistinguishable.

Back to article page