Multitape_To_Singletape_TM

TM_Common

Multitape_TM

Singletape_TM

STM_Renaming

Multi_Single_TM_Translation