双带图灵机

two-tape Turing machine