Sumários

30 Novembro 2016, 08:00 • Ana Respicio

Folha 8, exercícios 1, 2, 3 e 6. Revisões para o teste.

29 Novembro 2016, 11:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 8 - Exercícios 1, 2, 3, 4

29 Novembro 2016, 10:30 • Ana Respicio

Folha 8, exercícios 1, 2, 3 e 6. Revisões para o teste.

29 Novembro 2016, 09:30 • Ana Respicio

Linguagens decidíveis.

A_GIC é decidível. Prova.

E_GIC é decidível. Prova.

EQ_GIC não é decidível.

Toda a LIC é decidível. Prova.

A_TM é Turing reconhecível (prova) mas não decidível (ideia da prova).

28 Novembro 2016, 08:00 • Alexandre Miguel dos Santos Martins Pinto

Folha 8 - Exercícios 1, 2, 3, 4