Terminologia para descrever Máquinas de Turing. Decidibilidade.
22 Novembro 2016, 09:30 • Ana Respicio
Terminologia para descrever Máquinas de Turing. Codificar objetos como strings. Exemplos. Codificação de um grafo.
O problema de determinar se um grafo não orientado é conexo é decidível. Prova.
Hierarquia de classes de linguagens.Decidibilidade. Problemas decidíveis e linguagens decidíveis.
A_AFD é decidível. Prova.