一对半 用Wolfram语言将常规的图灵机转换为半无限磁带模型。