Decidibilidade
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).