有限识别器相关论文