Decidibilidade

6 Dezembro 2016, 09:30 • Ana Respicio

A_TM é indecidível. Prova.