Sumários
Máquinas de Turing
7 Novembro 2017, 11:00 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 4b) 4c) 5a) 5d)
Máquinas de Turing
7 Novembro 2017, 09:30 • Ana Respicio
Máquinas de Turing.
Exemplo: palavras compostas só por zeros e com comprimento potência de 2.
Diferentes tipos de especificação.
Definições de linguagem Turing-reconhecível e decidível. Equivalência de MT.
A variante "stay".
Estudar: Sipser, cap3; notas de apoio.
Praticar: Folha 7, exercícios no fim do cap 3, Sipser.
Máquinas de Turing
6 Novembro 2017, 08:00 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 1, 2, 3, 4a)
Máquinas de Turing
3 Novembro 2017, 11:30 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 1, 2, 3, 4a)