Maquina de Turing computação de soma binaria - L E {0,1}*X{0,1}* | w = w+w