Decidable can be taken as a synonym to: a) recursive b) non recursive ... c) turing machine rejects if the input does not belong to the language
確定! 回上一頁