-tape_bidirectional_Turing_machine