Sumários
15 Novembro 2024, 08:00
•
Diana Costa
Resolução dos exercícios 3, 6k) e 7 da Folha Prática 3.1
13 Novembro 2024, 09:30
•
Diana Costa
Decidibilidade. Problemas de decisão envolvendo linguagens regulares e linguagens livres de contexto.
13 Novembro 2024, 08:00
•
Diana Costa
Resolução dos exercícios 3, 6k) e 7 da Folha Prática 3.1
12 Novembro 2024, 10:30
•
Diana Costa
Resolução dos exercícios 3, 6k) e 7 da Folha Prática 3.1
12 Novembro 2024, 09:30
•
Diana Costa
Variante Enumerador e equivalência ao modelo base. Postulado de Church-Turing.