sync analysis package 4.10.3
sync util package for 4.10.1
sync automaton package to 4.10.1
implement Automaton.finishState()