非确定有限自动机：next_states方法实现