📄 texta-23.htm
字号:
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body bgcolor="#FFFFFF" link="#0000FF" vlink="#3399FF" alink="#FF0066">
<div id="Layer1" style="position:absolute; width:711px; height:21px; z-index:1; top: 10px; background-color: #CCCCCC; layer-background-color: #CCCCCC; border: 1px none #000000; left: 26px"><b>|</b><font face="宋体" size="2"><a href="../text1/text1-0.htm">第一章</a></font><b>|</b><font face="宋体" size="2"><a href="../text2/text2-0.htm">第二章</a></font><b>|</b><font face="宋体" size="2"><a href="../text3/text3-0.htm">第三章</a></font><b>|</b><font face="宋体" size="2"><a href="../text4/text4-0.htm">第四章</a></font><b>|</b><font face="宋体" size="2"><a href="../text5/text5-0.htm">第五章</a></font><b>|</b><font face="宋体" size="2"><a href="../text6/text6-0.htm">第六章</a></font><b>|</b><font face="宋体" size="2"><a href="../text7/text7-0.htm">第七章</a></font><b>|</b><font face="宋体" size="2"><a href="../text8/text8-0.htm">第八章</a></font><b>|</b><font face="宋体" size="2"><a href="../text9/text9-0.htm">第九章</a></font><b>|</b><font face="宋体" size="2"><a href="../text10/text10-0.htm">第十章</a></font><b>|</b><font size="2" face="宋体">算法分析<b><font color="#000000">|</font></b>
</font></div>
<pre align="left"><font face="宋体" size="4" color="#000000"><b>
<font color="#FF0000"> <font size="6">2. 图灵机（Turing machine）</font></font>
<i><font color="#0033CC" face="Arial, Helvetica, sans-serif">什么是"计算"？ 什么是"可计算函数"？</font></i>
图灵机--20世纪英国数学家图灵创造的一种计算模型，它可以确切地
表达计算，可计算函数和计算复杂度等基本概念，也是描述NP问题的基
本工具。
<font color="#0033CC">图灵关于计算的精确定义实质上是模拟人的动作</font>
<font color="#FF0000">图灵的限制条件 </font>（不影响问题的实质）
（1）将运算介质确定为线性带子（不是二维的纸），带子可想象为磁带，
带被划分为方格。
（2）规定一次只注视一个符号，"注视"由读写磁头执行。
（3）一组运算法则存放在"有限状态控制器"中。控制器根据当前"状态"
和磁头注视的"符号"决定下一步动作。磁头每次只能动一步，并只
能移动左右相近方格上。
[<font color="#0033CC">多带图灵机定义</font>]
多带图灵机由K条带组成，这些带右边可以无限延伸。每一条带都划分
成单元（方格），每个单元存放着有限个带符号集中的一个符号。每条
带都有一个可以读和写的磁头来扫描带上的一个单元。图灵机的操作，
由称之为有限控制器的原始程序来确定。有限控制器总是处于有限个状
态中的某一个状态，由当前状态和磁头当前扫描的字符可以确定下一步
所要的执行的指令。
<img src="image/text10-l.gif" width="470" height="227">
</b></font></pre>
<table width="732" cellspacing="0" cellpadding="0">
<tr>
<td width="327"> </td>
<td width="271"><a href="../index.htm"><img width="60" height="25" usemap="#MapMap4" border="0" src="../../images/home.gif"></a><a href="../index.htm"><map name="MapMap4"><area shape="rect" coords="42,-34,88,-15" href="text0.htm"><area shape="rect" coords="4,4,55,23" href="textA-index.htm"></map></a></td>
<td width="132"><font face="楷体_GB2312" size="2"><b> <a href="texta-22.htm">上一页</a>
<a href="textA-24.htm">下一页</a> </b></font></td>
</tr>
</table>
<pre align="left"><font face="宋体" size="4" color="#000000"><b>
</b></font></pre>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -