fix 2 bug:
1. previous emptyCharacterClosure may not terminated for A -> B and B -> A
2. to minimal a dfa. consider special case where all states are normal form
apply ide indicates about refactory
cool specification done