M
ultitape_
T
o_
S
ingletape_
T
M
TM_Common
Multitape_TM
Singletape_TM
STM_Renaming
Multi_Single_TM_Translation