有穷状态机思想——注释转换