1) standard Turing machine
标准图灵机
3) the mechanical standard template
机械标准模板图
1.
Furthermore,we can make and use the mechanical standard template.
4- 84,利用AutoCAD2 0 0 0这一绘图平台对图幅、线型、文本、尺寸标注等进行恰当的设置 ,创建和使用机械标准模板图 ,从而快速高质地绘制出符合我国制图标准的机械工程图
4) Sensitiveness standard
灵敏度标准
5) normal sensitivity
标准灵敏度
6) turing machine
图灵机
1.
Computer simulation design for universal Turing machine;
通用图灵机的计算机仿真设计
2.
Solution calculation of a type of Cauchy problem with arbitrary precision on Turing machines
在图灵机上计算一类Cauchy问题任意精度的解
补充资料:图灵机
| 图灵机 Turing machines 一种抽象的计算模型。因英国数学家A.M.图灵于1936年提出而得名。研究图灵机的主要目的是对“算法”、“有效过程”这样的直观概念给出精确的数学定义,从而精确刻画可计算性与可判定性等基本概念。由于图灵机在计算能力上等价于数字计算机,故利用图灵机可以研究计算机的能力和局限性。对图灵机的研究集中在两个方面:第一,研究图灵机所定义的语言类,该语言类称为递归可枚举集合。第二,研究图灵机所计算的函数类,该函数类称为部分递归函数。 作为有效过程或算法的形式模型,图灵机的每个动作过程都应该是有穷可描述的。其次,每个过程应该由离散的步骤组成,每一步都能够机械地实现。图灵机有多种模型,如非确定型,多维型,多带多头型等,它们在计算能力上是等价的,且都是图灵机基本模型的变种。 基本模型 图灵机基本模型有一个有穷控制器,一条输入带和一个带头,带被分成许多单元,带头在每个时刻扫视带上的一个单元。该带有一个最左单元,向右则是无限的。带的每个单元正好可容纳有穷个带符号中的一个。开始时,最左边n个单元(n≥0,是一有穷数)放着输入,它是取自带符集的一个字符串,其余无穷多单元放空自符。空自符是特殊带符号,但不是输入符号。基本模型可图示如下:
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
|
|
| ©2011 dictall.com | |