Como ejemplo vamos a diseñar una máquina de Turing que multiplica por 2 un número natural.