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.
Máquinas de Turing
7 Novembro 2023, 09:30 • Ana Respicio
Variante Enumerador. Equivalência entre variantes. Postulado de Church-Turing.