Máquinas de Turing e decidibilidade
17 Novembro 2017, 11:30 • Jorge Miguel Carvalho Gomes
Folha 7: exercício 6.
Folha 8: exercícios 1, 2, 3a), 3b) e 4a), 4b).
17 Novembro 2017, 11:30 • Jorge Miguel Carvalho Gomes
Folha 7: exercício 6.