登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 疑案里的中国史3艾公子著（中国史里扑朔迷离的40个疑案，惊奇好玩又脑洞大开受益匪浅） 》 售價：NT$ 356.0 《 大学问·清代银钱比价波动研究（重绘清代全国各省的银钱比价数据序列，为清代货币史、经济史的研究提供了有力的数据支撑） 》 售價：NT$ 709.0 《 荷马社会研究（增补版） 》 售價：NT$ 765.0 《 万千心理·与弗洛伊德的咖啡漫语：一场跨越时空的对话【精装】 》 售價：NT$ 704.0 《 内北国而外中国：蒙元史研究 精装 中华学术·有道 》 售價：NT$ 755.0 《 山中岁月：在日本小镇与传统相遇、与自然相融 》 售價：NT$ 306.0 《 创伤自救指南：如何摆脱消极模式、修复人际关系并获得自由 》 售價：NT$ 301.0 《 失控的孤独 》 售價：NT$ 286.0

建議一齊購買： + NT$ 242 《形式语言与自动机理论教学参考书（第3版）（21世纪大学本科计》 + NT$ 456 《计算理论基础（世界著名计算机教材精选）》 + NT$ 656 《自动机理论与应用（世界著名计算机教材精选）》 內容簡介： 形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的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.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.