《形式语言，自动机理论与计算导论》 - [印]卡马拉 - 电子工业出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

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

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

售價：HK$ 174.1

我要買件

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

新書推薦：

《数学分析（第一卷）（第7版）（精装典藏版）》
售價：HK$ 97.9

《什么是思想史历史学的实践丛书》
售價：HK$ 61.6

《法律是什么：20世纪英美法理学批判阅读（全新增订版）》
售價：HK$ 63.8

《从宁波到日本：生活世界的对话》
售價：HK$ 74.8

《怪谈：一本详知日本怪谈文学发展脉络史！》
售價：HK$ 57.2

《韩江黑夜的狂欢：2024年诺贝尔文学奖得主韩江出道作品》
售價：HK$ 63.8

《销售的力量》
售價：HK$ 97.9

《我活下来了（直木奖作者西加奈子，纪实性长篇散文佳作上市不到一年，日本畅销二十九万册）》
售價：HK$ 63.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.