Describir: Una maquina virtual para TM