修正free move的next_states
实现正则表达式的semantics