複数テープチューリング機械

日 [ふくすうてーぷちゅーりんぐきかい] [hukusuute-putyu-ringukikai]