Sumários
Quinta aula prática
25 março 2022, 11:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Exercícios sobre máquinas de Turing multifita, do capítulo 3, 2.8a, 3.16, 3.15, 4.2, 4.4, 4.11
Aula Prática 5
24 março 2022, 17:00 • Maria Paula Antunes Abrantes Gouveia
Resolução dos exercícios 2.8a), 3.15, 3.16, 4.2, 4.4 e 4.11 do capítulo 3 do texto de apoio.
Teórica #06
24 março 2022, 17:00 • Carlos Caleiro
Variantes da máquina de Turing: não-determinismo, esboço da sua equivalência. Propriedades de fecho das linguagens decidíveis e das linguagens reconhecíveis.
Teórica #06
24 março 2022, 15:00 • Carlos Caleiro
Variantes da máquina de Turing: não-determinismo, esboço da sua equivalência. Propriedades de fecho das linguagens decidíveis e das linguagens reconhecíveis.
Aula Prática 5
24 março 2022, 13:00 • Eduardo Skapinakis
Exercícios 2.8a, 3.16, 3.15, 4.2, 4.4, 4.11