Descreva o modelo teórico da Máquina de Turing Universal. Explique como uma máquina simples, capaz de ler e escrever símbolos em uma fita infinita e mudar de estado, pode simular qualquer outro computador. Discuta o significado da tese de Church-Turing e o que define algo como 'computável' neste contexto abstrato.