Por ejemplo, se puede hablar de lenguajes decidibles en una máquina de Turing no determinista.