Sumários

Aula de exercícios nº8

13 Novembro 2023, 08:00 Diana Costa

Resolução dos exercícios 5c), 6a),g) da Folha 4, e 3 da Folha 5.



Resolução de Exercicios

10 Novembro 2023, 11:30 Henrique Miguel de Andrade Campos Navas

Resolução de Exercicios


Exercícios Folha 5

10 Novembro 2023, 08:00 Henrique Miguel de Andrade Campos Navas

Resolução dos Exercícios 3, 4 e 5 da Folha 5 de Decidibilidade


Autómatos de Pilha e Máquinas de Turing

7 Novembro 2023, 10:30 Ana Respicio

Folha de exercícios sobre autómatos de pilha: ex 1b e 3 b.

Folha de exercícios sobre máquinas de Turing: ex 5a, 5b, 5c, 5d. 
Quiz.


Máquinas de Turing

7 Novembro 2023, 09:30 Ana Respicio

Variante Enumerador. Equivalência entre variantes. Postulado de Church-Turing.