Turing machine
多带图灵机和图灵机类似，唯一的不同在于它可以有 formula_1 条纸带，每条纸带上