Sumários
Máquinas de Turing e Tese de Church-Turing
13 Dezembro 2025, 09:30 • Ema Silva Reis
Leitura [Martin 2011] cap 7.1, 7.2, 7.6
Limites computacionais dos Autómatos de Pilha
12 Dezembro 2025, 21:00 • Ema Silva Reis
Leitura [Martin 2011] cap 6.1; Resolução [Santos 2019] 42
Gramáticas Livres de Contexto: Formas Normais
12 Dezembro 2025, 19:30 • Ema Silva Reis
Leitura [Martin 2011] cap 4.5
Máquinas de Turing e Tese de Church-Turing
12 Dezembro 2025, 11:00 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 7.1, 7.2, 7.6
Máquinas de Turing e Tese de Church-Turing
12 Dezembro 2025, 09:30 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 7.1, 7.2, 7.6