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.
EQ_AFD é decidível. Esboço da prova.