有限状态转换器算法