decidibilidade

Propriedade de um sistema formal (como um sistema lógico ou um algoritmo) de ter a capacidade de determinar, para qualquer entrada ou proposição dada, se ela é válida ou não dentro desse sistema.

Sinônimos