消息首页搜索举报

亚对数空间限定多墨水点交替式下推自动机的计算复杂

全新正版，现货速发，7天无理由退换货可开电子发票，

11.6 4.1折 28 全新

库存2件

江苏无锡

认证卖家担保交易快速发货售后保障

作者王建良

出版社科学技术文献出版社

ISBN9787518950881

出版时间2020-09

装帧平装

开本16开

定价28元

货号1202138386

上书时间2024-10-13

翰林文轩旗舰店

三年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 9小时
好评率暂无

最新上架

中国艺术史第二卷 ¥99.40

雪庵清史 ¥25.20

声音与意义中国古典诗文新探 ¥38.40

拆词写作心法与实战 ¥29.90

语文课 ¥38.40

口吃简史 ¥27.30

文选译注（全四册） ¥211.00

历史为什么：虫小绿漫画帝王史 ¥23.20

岭南学报复刊第二十一辑 ¥58.40

商品详情

品相描述：全新

商品描述: 目录

章引言1

第2章形式语言与自动机11

21抽象代数知识准备11

22形式语言与自动机12

221字符串和语言12

222有穷状态自动机13

23图灵机形式化定义15

24下推自动机及其模型18

25分布式计算和并行计算19

26自动机理论基础21

261自动机定义22

262自动机理论22

263有限自动机理论22

264无限自动机理论23

265概率自动机理论23

266细胞自动机理论23

267抽象自动机理论24

27自动机理论与其他学科的关系24

271与数学学科的关系24

272与形式语言的关系24

273与控制论的关系24

274与生物领域的关系25

28交替式下推自动机与网格25

281网格计算兴起25

282网格定义26

283网格信息处理原理27

284交替式下推自动机与网格计算27

29自动机理论与先进计算28

291并行计算28

292分布式计算29

293集群计算29

294网格计算30

295云计算31

210本章小结33

第3章交替式下推自动机34

……

内容摘要

交替式下推自动机是当前并行与分布式计算环境的数学模型，而墨水点是对移动智能体在宿主机器上写入信息的一种模拟，交替式下推自动机的研究对于解明基于互联网的并行与分布式计算的复杂性具有重要的理论意义。

交替式是由Chandra、Kozen和Stockmeyer提出来的一个并行与分布式计算的理论模型。交替式图灵机（Alternating Turing Machine）是对非确定性图灵机的一个扩展，它的有穷状态被分为全称状态（Universal State）和存在状态（Existential State）两种不同的计算状态。交替式图灵机采用交替的方式，不断采用存在和全称两种计算方式进行计算，已经证明，这种交替式计算模式有效地提高了计算能力，交替式下推自动机则是比交替式图灵机更为简单的计算模型。关于亚对数空间限定的交替式图灵机的研究取得了较大进展，但是，目前靠前上关于多墨水点交替式下推自动机的研究还比较少。

本书引入两种类型的机器模型，即具有亚对数空间的2方向交替式下推自动机和具有多个墨水点的交替式下推自动机，并对这两种类型自动机模型的一些重要性质进行了深入研究，并提出了多墨水点交替式下推自动机的概念；研究了在亚对数空间下，墨水点个数对仅有全称状态的多墨水点交替式下推自动机计算能力的影响；证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机计算能力随着墨水点个数的增加而增强，研究了在亚对数空间下，仅有全称状态和仅有存在状态的多墨水点交替式下推自动机计算能力的关系，证明了它们的计算能力是不可比较的；论证了在亚对数空间下，仅有全称状态的多墨水点交替式下推自动机所识别的语言族，以及仅有存在状态的多墨水点交替式下推自动机所识别语言族的闭包属性，证明了这些语言族在补、与正则语言的连接、星号及保持长度的同态运算下是不封闭的；引入自验证的1墨水点2方向非确定性下推自动机，证明了在亚对数空间下，具有1墨水点的非确定性下推自动机计算能力比具有1墨水点的自验证非确定性下推自动机的计算能力强。本书很后讨论了相关的几个尚待研究解决的问题，提出了今后研究的方向。

主编推荐
本书对亚对数空间限定多墨水点交替式下推自动机的计算复杂性问题进行了研究，主要研究工作包括：证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机的计算能力随着墨水点个数的增加而增强；研究了在亚对数空间下，仅有全称状态的和仅有存在状态的多墨水点交替式下推自动机所识别的语言族的闭包属性；研究了自验证的非确定性下推自动机随机计算模型与普通的非确定性计算模型的关系。

媒体评论
本书对亚对数空间限定多墨水点交替式下推自动机的计算复杂性问题进行了研究，主要研究工作包括：证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机的计算能力随着墨水点个数的增加而增强；研究了在亚对数空间下，仅有全称状态的和仅有存在状态的多墨水点交替式下推自动机所识别的语言族的闭包属性；研究了自验证的非确定性下推自动机随机计算模型与普通的非确定性计算模型的关系。

— 没有更多了 —