ZOU Xiaohui 孪生图灵机的代数描述