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.
23 Novembro 2016, 09:30 • Ana Respicio
Linguagens decidíveis.