function MT ( w ) //maquina de turing qualquer que recebe uma entrada w e diz se aceita ou não
{
	return Math.random() > 0.5;
}

function H( M , w ) // decisor que verifica se uma MT aceita ou não uma palavra w 
{
	return M(w);
}

function D( M ) // decisor que roda uma máquina H sobre uma máquina M e nega o seu retorno
{
	console.log('Testing..');
	return !H( M , M );
}

// MT(1) //rodando MT sobre uma linguagem qualquer
// H( MT , 1 ) //verificando se uma máquina MT aceita uma linguagem qualquer
// D( MT ) //verificando se uma máquina MT aceita uma linguagem qualquer e negando sua resposta
// D( D ) //verificando se uma máquina D aceita uma linguagem qualquer e negando sua resposta