中图网

>

计算机理论

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

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

作者：王建良

出版社：科学技术文献出版社出版时间：2020-09-01

开本：其他页数： 94

本类榜单：计算机/网络销量榜

中图价:¥22.0(7.9折) 定价 ~~¥28.0~~ 登录后可看到会员价

加入购物车收藏

开年大促， 全场包邮

?新疆、西藏除外

本类五星书更多>

>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

¥14.4¥45
>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥44.1¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥56.2¥69
>
第一行代码Android

第一行代码Android

¥55.4¥99
>
JAVA持续交付

JAVA持续交付

¥58.1¥119
>
EXCEL最强教科书(完全版)(全彩印刷)

EXCEL最强教科书(完全版)(全彩印刷)

¥31.1¥69.9
>
深度学习

深度学习

¥92.4¥168

商品详情
商品评论(0条)

中图价:¥22.0 加入购物车

版权信息
内容简介
目录

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

ISBN：9787518950881
条形码：9787518950881 ; 978-7-5189-5088-1
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
计算机/网络
>
计算机理论

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

交替式下推自动机是当前并行与分布式计算环境的数学模型，而墨水点是对移动智能体在宿主机器上写入信息的一种模拟，交替式下推自动机的研究对于解明基于互联网的并行与分布式计算的复杂性具有重要的理论意义。交替式是由Chandra、Kozen和Stockmeyer提出来的一个并行与分布式计算的理论模型。交替式图灵机（Alternating Turing Machine）是对非确定性图灵机的一个扩展，它的有穷状态被分为全称状态（Universal State）和存在状态（Existential State）两种不同的计算状态。交替式图灵机采用交替的方式，不断采用存在和全称两种计算方式进行计算，已经证明，这种交替式计算模式有效地提高了计算能力，交替式下推自动机则是比交替式图灵机更为简单的计算模型。关于亚对数空间限定的交替式图灵机的研究取得了较大进展，但是，目前国际上关于多墨水点交替式下推自动机的研究还比较少。本书引入两种类型的机器模型，即具有亚对数空间的2方向交替式下推自动机和具有多个墨水点的交替式下推自动机，并对这两种类型自动机模型的一些重要性质进行了深入研究，并提出了多墨水点交替式下推自动机的概念；研究了在亚对数空间下，墨水点个数对仅有全称状态的多墨水点交替式下推自动机计算能力的影响；证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机计算能力随着墨水点个数的增加而增强，研究了在亚对数空间下，仅有全称状态和仅有存在状态的多墨水点交替式下推自动机计算能力的关系，证明了它们的计算能力是不可比较的；论证了在亚对数空间下，仅有全称状态的多墨水点交替式下推自动机所识别的语言族，以及仅有存在状态的多墨水点交替式下推自动机所识别语言族的闭包属性，证明了这些语言族在补、与正则语言的连接、星号及保持长度的同态运算下是不封闭的；引入自验证的1墨水点2方向非确定性下推自动机，证明了在亚对数空间下，具有1墨水点的非确定性下推自动机计算能力比具有1墨水点的自验证非确定性下推自动机的计算能力强。本书*后讨论了相关的几个尚待研究解决的问题，提出了今后研究的方向。

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

第1章引言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

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐

>
随园食单
随园食单
袁枚
¥16.4~~¥48.0~~
>
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
鲁迅著，陈漱渝主编
¥13.0~~¥26.0~~
>
月亮虎
月亮虎
[英] 佩内洛普·莱夫利著，郭国良译
¥15.4~~¥48.0~~
>
李白与唐代文化
李白与唐代文化
葛景春
¥9.9~~¥29.8~~
>
诗经-先民的歌唱
诗经-先民的歌唱
裴溥言
¥14.5~~¥39.8~~
>
巴金－再思录
巴金－再思录
巴金
¥15.7~~¥46.0~~
>
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
[英] 达尔文著，朱邦芊译
¥6.3~~¥14.0~~
>
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
鲁迅著，陈漱渝主编
¥10.5~~¥21.0~~