Sumários
Decidibilidade
25 Novembro 2016, 11:30 • Alexandre Miguel dos Santos Martins Pinto
Folha 8 - Exercícios 1, 2, 3, 4
Decidibilidade
25 Novembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto
Folha 8 - Exercícios 1, 2, 3, 4
Decidibilidade
23 Novembro 2016, 09:30 • Ana Respicio
Linguagens decidíveis.
A_AFND é decidível. Prova.
A_REX é decidível. Prova.
E_AFD é decidível. Prova.
E_AFD é decidível. Prova.
EQ_AFD é decidível. Esboço da prova.
Autómatos de Pilha. Máquinas de Turing.
22 Novembro 2016, 11:00 • Alexandre Miguel dos Santos Martins Pinto
Folha 7: exercícios 1a, b, c; 3, 4a, b; 5a; 6