Sumários
Máquinas de Turing
13 Novembro 2017, 08:00 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 4b) 4c) 5a) 5d)
Máquinas de Turing
10 Novembro 2017, 11:30 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 4b) 4c) 5a) 5d)
Máquinas de Turing
10 Novembro 2017, 08:00 • Jorge Miguel Carvalho Gomes
Folha 7: exercícios 4b) 4c) 5a) 5d)
Máquinas de Turing
8 Novembro 2017, 09:30 • Ana Respicio
Máquinas de Turing variantes ao modelo padrão.
A variante multi-fita. A variante multi-fita é equivalente ao modelo padrão. Esboço da prova.A variante não determinista. A variante não determinista é equivalente ao modelo padrão. Esboço da prova.A variante enumerador. A variante enumerador é equivalente ao modelo padrão. Prova.
Aprender: Sipser, cap3; slides de apoio. Praticar: Folha 7, exercícios no fim do cap 3, Sipser.