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.


Máquinas de Turing

8 Novembro 2017, 08:00 Ana Respicio

Folha 7: exercícios 2, 3, 4a) 5d).