登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書

『簡體書』形式语言，自动机理论与计算导论

書城自編碼： 1853402
分類：簡體書→大陸圖書→計算機/網絡→计算机理论
作者： [印]卡马拉
國際書號(ISBN)： 9787121153945
出版社： 电子工业出版社
出版日期： 2012-02-01
版次： 1 印次： 1
頁數/字數： 317/525000
書度/開本： 16开 釘裝： 平装

售價：HK$ 174.1

我要買 件

share:

** 我創建的書架 **
未登入.

新書推薦：
知宋·宋代之交通
《 知宋·宋代之交通 》
售價：HK$ 86.9
知宋·宋代之君主
《 知宋·宋代之君主 》
售價：HK$ 97.9
民国时期京剧名伶专集汇编（全4册）
《 民国时期京剧名伶专集汇编（全4册） 》
售價：HK$ 4378.0
量子力学 恩利克·费米
《 量子力学 恩利克·费米 》
售價：HK$ 52.8
银行业刑事风险防控与应对
《 银行业刑事风险防控与应对 》
售價：HK$ 96.8
语言、使用与认知
《 语言、使用与认知 》
售價：HK$ 69.3
帝国的叙事话语：国家身份塑造与冷战时期美国外交政策 北京大学人文学科文库
《 帝国的叙事话语：国家身份塑造与冷战时期美国外交政策 北京大学人文学科文库 》
售價：HK$ 151.8
世界上的城堡：一部千年古堡兴衰史（从军事建筑到中世纪城堡，59座经典古堡，高清全彩图文，精装收藏品质）
《 世界上的城堡：一部千年古堡兴衰史（从军事建筑到中世纪城堡，59座经典古堡，高清全彩图文，精装收藏品质） 》
售價：HK$ 261.8

 
建議一齊購買：

+

HK$ 68.9
《形式语言与自动机理论教学参考书（第3版）（21世纪大学本科计》		 +

HK$ 129.9
《计算理论基础（世界著名计算机教材精选）》		 +

HK$ 203.6
《自动机理论与应用（世界著名计算机教材精选）》
內容簡介：
形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。
目錄：
第1章 基础知识
　1.1 集合, 关系和函数
　1.2 证明方法
　1.3 图
　1.4 语言：基本概念
　问题与解答
　习题
第2章 文法
　2.1 文法的定义和分类
　2.2 二义性
　2.3 CFG 的化简
　2.4 范式
　问题和解答
　习题
第3章 有限状态自动机
　3.1 确定有限状态自动机DFSA
　3.2 不确定有限状态自动机NFSA
　3.3 正则表达式
　问题与解答
　习题
第4章 有限自动机：特征、性质和可判定性
　4.1 有限自动机和正则文法
　4.2 正则集的泵浦引理
　4.3 封闭性
　4.4 可判定性定理
　问题和解答
　习题
第5章 带输出的有限状态自动机及其最小化
　5.1 Myhill鄄Nerode 定理
　5.2 带输出的有限自动机
　问题与解答
　习题
第6章 有限自动机的变形
　6.1 双向有限自动机
　6.2 多头有限状态自动机
　6.3 概率有限自动机
　6.4 加权有限自动机和数字图像
　问题与解答
　习题
第7章 下推自动机
　7.1 下推自动机
　7.2 空栈接受和终态接受的等价
　7.3 CFG 和PDA 的等价
　问题与解答
　习题
第8章 上下文无关文法性质与分析
　8.1 CFL 的泵引理
　8.2 CFL 的封闭性
　8.3 CFL 的判定性质
　8.4 CFL 的子群
　8.5 帕里克映射与帕里克定理
　8.6 自嵌入性
　8.7 同态下的特性
　问题与解答
　习题
第9章 图灵机
　9.1 作为接受器的图灵机
　9.2 作为计算设备的图灵机
　9.3 图灵机的构造技术
　问题与解答
　习题
第10章 图灵机的变形
　10.1 通用版本
　10.2 受限图灵机
　10.3 作为枚举器的图灵机
　10.4 图灵机和0 型语言的等价
　10.5 线性有界自动机
　10.6 歌德尔编号
　问题与解答
　习题
第11章 通用图灵机及可判定性
　11.1 图灵机的编码和枚举
　11.2 递归和递归可枚举集
　11.3 通用图灵机
　11.4 问题, 实例和语言
　11.5 莱斯定理
　11.6 规约问题以证明不可判定性
　11.7 波斯特对应问题
　11.8 可计算函数
　问题与解答
　习题
第12章 时间与空间复杂度
　12.1 RAM 模型
　12.2 图灵机的时间与带复杂度
　问题与解答
　习题
第13章 最近的趋势及应用
　13.1 正则重写
　13.2 马库斯上下文文法
　13.3 林登麦伊尔系统
　13.4 文法系统及分布式自动机
第14章 一些新的计算模型
　14.1 DNA 计算
　14.2 膜计算
单项选择题I
单项选择题II
参考文献

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.