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
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