BuchiAutomaton, javadoc updated
Brzozowski, Javadoc updated