Máquinas de Turing.
16 Novembro 2016, 09:30 • Ana Respicio
Teorema: Uma linguagem é Turing-reconhecível se e só se algum enumerador a enumera. Prova.
O 10º problema de Hilbert e a sua influência na Teoria da Computação.
O postulado de Church-Turing.
O resultado fundamental da Teoria da Computação.
A linguagem dos polinómios só com uma variável e que têm raiz inteira é decidível.