Sumários
Máquinas de Turing e Tese de Church-Turing
16 Dezembro 2024, 21:00 • Afonso Manuel Barral Caniço
Leitura [Martin 2011] cap 7.1, 7.2, 7.6
Limites computacionais dos Autómatos de Pilha
16 Dezembro 2024, 19:30 • Afonso Manuel Barral Caniço
Leitura [Martin 2011] cap 6.1; Resolução [Santos 2019] 42
Resolução de exercícios - Gramáticas Regulares
13 Dezembro 2024, 21:00 • Afonso Manuel Barral Caniço
Resolução [Santos 2019] 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39