Nondeterministic Moore automata and Brzozowski's minimization algorithm