形式语言与自动机理论 pdf_448页伊利诺伊大学《算法》图书【附PDF资料】

adfdf8146d2538a64897ade3c8765d7d.png
点击→阅读原文
关注微信公众号: 人工智能前沿讲习
对话框回复" book1"获取伊利诺伊大学《算法》书

导读

本书是Jeff Erickson即将出版的免费电子教科书《算法》,以及他自1998年以来为伊利诺伊大学厄巴纳香槟分校各种计算机理论课程撰写的其他课堂讲义笔记

文中包含书籍信息、获取方式、算法笔记、模型笔记等一系列内容,

作者简介

c4658066acc5729f4aeb56a0bb1e66fb.png
Jeff Erickson官方主页肖像

个人主页:

http://jeffe.cs.illinois.edu/

Jeff Erickson,计算机科学教授,加州大学伯克利分校计算机科学博士毕业,1998年起就职于伊利诺伊大学厄巴那香槟分校(University of Illinois, Urbana-Champaign),研究兴趣领域为算法和数据结构等,主要教授大型算法课程,根据其个人主页信息,他的课堂讲义大受学生欢迎。

475cd72f40044ff42dc3ac819578debd.png

全书下载(第0版,2018年12月,共448页)

单页排版(适用于电脑屏幕观看):

http://jeffe.cs.illinois.edu/teaching/algorithms/book/Algorithms-JeffE.pdf

双页排版(适用于打印):

http://jeffe.cs.illinois.edu/teaching/algorithms/book/Algorithms-JeffE-2up.pdf

GitHub链接(进行错误跟踪):

https://github.com/jeffgerickson/algorithms

网络版本(永久副本):

https://archive.org/details/Algorithms-Jeff-Erickson

单章下载(每个章节都独立排版,因此页码和整体版本有出入)

前言(8页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/!!-preface.pdf

简介(20页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/00-intro.pdf

1、递归(48页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/01-recursion.pdf

2、回溯法(26页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/02-backtracking.pdf

3、动态规划(Dynamic Programming) (62页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/03-dynprog.pdf

4、贪心算法(Greedy Algorithm)(28页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/04-greedy.pdf

5、基本图形算法(Basic Graph Algorithms)(38页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/05-graphs.pdf

6、深度优先搜索(Depth-First-Search)(32页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/06-dfs.pdf

7、最小生成树(Minimum Spanning Tree)(16页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/07-mst.pdf

8、最短路径(Shortest Paths)(35页)http://jeffe.cs.illinois.edu/teaching/algorithms/book/08-sssp.pdf

9、所有节点对之间的最短路问题(All Pair Shortest Path) (18页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/09-apsp.pdf

10、最小割与最大流(mincut & maxflow) (26页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/10-maxflow.pdf

11、流动和切割的应用(Applications of Flows and Cuts)(26页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/11-maxflowapps.pdf

12、NP-Hardness(50页)

http://jeffe.cs.illinois.edu/teaching/algorithms/book/12-nphard.pdf

相关讲义:书籍相关以及更高级课程

以下是与教科书直接相关的更高级材料的注释,这些笔记大致与教科书章节相匹配。A.快速傅立叶变换(Fast Fourier Transform)(17页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/A-fft.pdf

B.快速指数算法(Fast Exponential Algorithms)(14页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/B-fastexpo.pdf

C.形式语言和自动化的动态编程(Dynamic Programming for Formal Languages and Automata)(7页,未完成)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/C-automata-dynprog.pdf

D.高级动态规化(Advanced Dynamic Programming )(18页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/D-faster-dynprog.pdf

E.拟阵(Matroids)(8页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/E-matroids.pdf

F.平衡与伪流(Balances and Pseudoflows)(13页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/F-pseudoflows.pdf

G.最小费用流算法(Minimum cost flow)(16页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/G-mincostflow.pdf

H.线性规划(Linear Programming)(21页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/H-lp.pdf

I.线性规划算法(Linear Programming Algorithms)(18页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/I-simplex.pdf

J.近似算法(Approximation Algorithms)(25页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/J-approx.pdf

教科书中未涉及的主题的讲义(编号独立于教科书)

1、离散概率(Discrete Probability)(22页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/01-random.pdf

2、螺丝和螺帽(Nuts and Bolts)(13页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/02-nutsbolts.pdf

3、Treaps and Skip Lists(14页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/03-treaps.pdf

4、Tail Inequalities(10页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/04-chernoff.pdf

5、哈希算法(Hashing)(19页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/05-hashing.pdf

6、Filtering and Streaming(6页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/06-bloom.pdf

7、字符串匹配(String Matching)(14页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/07-strings.pdf

8、Randomized Minimum Cut(7页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/08-mincut.pdf

9、平摊分析(Amortized Analysis)(14页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/09-amortize.pdf

10、Scapegoat and Splay Trees(15页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/10-scapegoat-splay.pdf

11、并查集(Disjoint Set)(14页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/11-union-find.pdf

12、Lower Bounds(6页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/12-lowerbounds.pdf

13、对手论据(8页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/13-adversary.pdf

附录I.归纳证明(30页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/98-induction.pdf

附录II.解决复发问题(22页)

http://jeffe.cs.illinois.edu/teaching/algorithms/notes/99-recurrences.pdf

公开私藏:超全计算模型笔记

这些笔记涵盖了CS 374中出现的自动化和形式语言的超全资料,其中一些笔记非常精确详细。

70c9dc9593f099edaab259d60dca2617.png

合集(155页):

http://jeffe.cs.illinois.edu/teaching/algorithms/models/all-models.pdf

封面和前言(3页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/0-cover.pdf

1、字符串(Strings)(17页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/01-strings.pdf

2、常规语言(Regular languages)(12页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/02-regular.pdf

3、有限状态机(Finite-state automata)(24页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/03-automata.pdf

4、不确定性自动机(Nondeterministic automata )(21页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/04-nfa.pdf

5、上下文无关语言(Context-free languages)(20页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/05-context-free.pdf

6、图灵机(Turing machings)(20页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/06-turing-machines.pdf

7、不可判定性(Undecidability )(20页)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/07-undecidable.pdf

8、Universal models(8页,未完成)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/08-universal.pdf

9、非确定性图灵机(Nondeterministic Turing machines)(6页,未完成)

http://jeffe.cs.illinois.edu/teaching/algorithms/models/09-nondeterminism.pdf

e7b1a6eb123604d2674370e7e415d531.png

原文链接地址:http://jeffe.cs.illinois.edu/teaching/algorithms

内容简介编辑 本书采用通俗的语言和形象化的方法来表达概念和定理,逻辑严谨、思维缜密,可作为高等院校计算机及相关专业“形式语言自动机”课程的教材。 [1] 作者简介编辑 陈有祺,南开大学信息技术科学学院教授,多年来一直从事计算机软件方面的教学和研究工作,从1993年起享受国务院政府特殊津贴。讲授的课程主要有程序设计语言.编译原理,数据结构、形式语言自动机等,研究领域包括编译理论、人工智能、自然语言理解,形式语言等。1980年至1982年在美国西密歇根大学作访问学者,研修人工智能和形式语言,回国后一直为研究生讲授“形式语言自动机”课程。相关著作包括:《BCLR(k)文法及其分析算法》、《广义上下文无关文法和它的语法分析》、《从输入输出序列确定自动机的结构》,《形式语言自动机》等。 编辑推荐编辑 本书以四类形式语言(短语结构语言,上下文有关语言。上下文无关语言。正则语言)和四种自动机(有穷自动机、下推自动机.图灵机,线性有界自动机)为主线,讨论了形式语言自动机方面的主要理论成果和应用实例。 本书的主要特色: 取材丰富。涵盖了该领域国内外现有教材的主要内容。 在写作方法上,循序渐进,深入浅出。在概念的引入和定理的证明上,尽量采用通俗的语言和形象化的方法来表达。 理论与实际相结合。除具有配合定理和定义的大量例题外,许多章节还有现代计算机技术中应用的实例。 适应面广。既适合作为本科生的教材,也适合作为研究生的教材。 图书目录编辑 出版者的话 序言 前言 教学建议 第1章 预备知识 1.1 定理及其证明方法 1.1.1 演绎法 1.1.2 反证法 1.1.3 归纳法 1.2 集合及其基本运算 1.2.1 集合基础知识 1.2.2 集合的基本运算 1.2.3 关系与映射 1.3 图和树简介 1.3.1图的基本概念 1.3.2图的矩阵表示 1.3.3 树的基本知识 1.4 字母表、字符串和语言 习题 第2章 文法的一般理论 2.1 问题的提出 2.2 形式文法与形式语言 2.3 文法的乔姆斯基分类 习题 第3章 有穷自动机 3.1 非形式化描述 3.2 有穷自动机的基本定义 3.3 非确定的有穷自动机 3.4 具有£转移的有穷自动机 3.5 有穷自动机的应用 3.5.1 在文本中查找字符串 3.5.2 用于文本搜索的非确定的有穷自动机 3.5.3 识别关键字集合的DFA 3.6 具有输出的有穷自动机 习题 第4章 正则表达式 4.1 正则表达式的定义 4.2 正则表达式和有穷自动机的关系 4.3则表达式的等价变换 4.3.1 交换律与结合律 4.3.2 单位元与零元 4.3.3 分配律 4.3.4 与“*”构造有关的定律 4.3.5 发现正则表达式定律的一般方法 4.4 正则表达式的应用 4.4.1UNIX中的正则表达式 4.4.2 词法分析 4.4.3 查找文本中的模式 习题 第5章正则语言的性质 5.1 正则文法和有穷自动机的关系 5.2 正则语言的泵引理 5.3 正则语言的封闭性 5.4 正则语言的判定算法 5.5 有穷自动机的最小化 习题 第6章 上下文无关文法 6.1上下文无关文法的语法分析 6.2 上下文无关文法的化简 6.3 上下文无关文法的范式 6.4 上下文无关文法的应用 6.4.1 用上下文无关文法描述语言 6.4.2 语法分析器生成工具YACC …… 第7章 下推自动机 第8章 上下文无关语言的性质 第9章 图灵机导引 第10章 不可判定性 第11章 线性有界自动机和上下文有关文法 第12章 确定的上下文无关语言和LR(k)文法 参考文献 …… 参考资料
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值