A alternativa correta é a letra c: "Existe um algoritmo que, quando aplicado a uma cadeia de entrada, sempre para e decide se a cadeia pertence à linguagem ou não." Uma linguagem é decidível se existe um algoritmo que pode determinar se uma cadeia de entrada pertence ou não à linguagem. Isso significa que o algoritmo sempre para e dá uma resposta definitiva, seja ela "sim" ou "não". As outras alternativas não caracterizam uma linguagem como decidível na teoria da computação.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar