1) turing computable
图灵机可计算的
2) turing computability
图灵机可计算性
3) Turing machine
图灵计算机
4) Turing computing
图灵计算
5) computably enumerable degree
可计算枚举图灵度
6) TM Turing Machine
图灵机(即不受存储容量限制的假想计算机)
补充资料：图灵机
| 图灵机 Turing machines 一种抽象的计算模型。因英国数学家A.M.图灵于1936年提出而得名。研究图灵机的主要目的是对“算法”、“有效过程”这样的直观概念给出精确的数学定义，从而精确刻画可计算性与可判定性等基本概念。由于图灵机在计算能力上等价于数字计算机，故利用图灵机可以研究计算机的能力和局限性。对图灵机的研究集中在两个方面：第一，研究图灵机所定义的语言类，该语言类称为递归可枚举集合。第二，研究图灵机所计算的函数类，该函数类称为部分递归函数。 作为有效过程或算法的形式模型，图灵机的每个动作过程都应该是有穷可描述的。其次，每个过程应该由离散的步骤组成，每一步都能够机械地实现。图灵机有多种模型，如非确定型，多维型，多带多头型等，它们在计算能力上是等价的，且都是图灵机基本模型的变种。 基本模型 图灵机基本模型有一个有穷控制器，一条输入带和一个带头，带被分成许多单元，带头在每个时刻扫视带上的一个单元。该带有一个最左单元，向右则是无限的。带的每个单元正好可容纳有穷个带符号中的一个。开始时，最左边n个单元（n≥0，是一有穷数）放着输入，它是取自带符集的一个字符串，其余无穷多单元放空自符。空自符是特殊带符号，但不是输入符号。基本模型可图示如下： 
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|
|
| ©2011 dictall.com | |