图书介绍

形式语言2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

李敏生编著著
出版社：北京：北京理工大学出版社
ISBN：7810131125
出版时间：1989
标注页数：318页
文件大小：9MB
文件页数：327页
主题词：形式语言-教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：55c439602f0c5305556f5ff03a4c9353

下载说明

形式语言PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章预备知识1

§1-1关系及其表示法1

一、集合的乘积与划分1

目录1

二、关系的概念3

三、关系矩阵与方向图5

§1-2关系中的路7

一、路的概念7

二、关系矩阵与路9

一、自反、对称与传递的性质15

§1-3关系的性质15

二、等价关系与划分20

§1-4映射与运算22

一、映射22

二、运算24

§1-5半群26

一、半群、独异半群的概念26

二、半群的同态、同构及其性质28

习题一34

一、术语与记号38

§2-1形式语言的基本概念38

第二章形式语言引论38

二、文法40

§2-2文法与语言43

§2-3 Chomsky分类50

一、各类文法简介50

二、2型文法的表示法51

三、右线性文法与左线性文法58

习题二65

§3-1有限自动机的概念68

一、有限自动机的定义及其表示法68

第三章有限自动机与3型文法68

二、FA的机器模型75

三、DFA所识别的句子77

四、NFA及其所识别的句子80

§3-2 DFA与无ε移动的NFA的关系83

§3-3 有ε移动的NFA86

一、引言86

二、ε闭包与？87

三、有ε移动与无ε移动的NFA的关系90

§3-4正规式与正规集94

一、正规式与正规集94

二、正规式的运算性质96

三、正规式所表示的语言的产生98

§3-5正规集与FA104

§3-6 3型文法与FA114

§3-7 FA的化简121

一、基本概念121

二、与M等价的M/R的构造126

§3-8不完全有限自动机与半群132

§3-9 Moore机和Mealy机137

习题三144

§4-1语言在正规运算下的封闭性150

第四章语言的性质150

§4-2正规语言的封闭性161

§4-3泵引理166

习题四168

第五章上下文无关文法与下推机170

§5-1扩充的CFG170

§5-2扩充的CFG与CFG的等价性177

§5-3 CFG与CFL181

一、CFG的化简181

二、CFG的变换187

三、CFL的泵引理200

一、下推机的定义与模型206

§5-4下推机206

二、NPA与CFL221

习题五234

第六章句法分析237

§6-1 二义性的进一步讨论237

§6-2 Earley算法246

§6-3 LL(k)文法与LR(k)文法258

一、LL(k)文法的定义与性质258

二、LR(k)文法的定义与性质266

习题六269

一、0型、1型文法的性质270

第七章双向下推机与图灵机简介270

§7-1 0型、1型文法与双向下推机270

二、双向下推机与0型文法278

三、线性有界自动机与1型文法290

§7-2图灵机简介294

一、图灵机的定义与模型294

二、各种图灵机简介300

三、图灵机与双向下推机301

参考书目305

习题解法提示306