Sumários

Máquinas de Turing e Tese de Church-Turing

14 Dezembro 2023, 08:00 Filipe Alexandre dos Santos


Leitura [Martin 2011] cap 7.1, 7.2, 7.6

Resolução de exercícios

13 Dezembro 2023, 21:00 Afonso Manuel Barral Caniço


Resolução de exercícios (Teste Modelo 2)

Limites computacionais dos Autómatos de Pilha, Máquinas de Turing, e Tese de Church-Turing

12 Dezembro 2023, 21:00 Afonso Manuel Barral Caniço


Leitura [Martin 2011] cap 6.1; Resolução [Santos 2019] 42

Leitura [Martin 2011] cap 7.1, 7.2, 7.6

Limites computacionais dos Autómatos de Pilha

12 Dezembro 2023, 08:00 Filipe Alexandre dos Santos


Leitura [Martin 2011] cap 6.1; Resolução [Santos 2019] 42

Resolução de exercícios - Autómatos de Pilha equivalentes a Gramáticas Livres de Contexto II

11 Dezembro 2023, 21:00 Afonso Manuel Barral Caniço


Resolução [Santos 2019] 45