Turing machines are an abstract model of computation. They provide a precise, formal definition of what it means for a function to be computable.
確定! 回上一頁