文件名称：cs311:我的计算理论课程的资料库
文件大小：2.17MB
文件格式：ZIP
更新时间：2024-06-24 20:01:11
TeX
欢迎来到 CS 311：计算理论。 更新[2014-10-28 周二] ： 将 HW 2 到期日上移至 11/6 更新[2014-10-20 星期一] ： 作业 5 已删除 课程大纲已调整为慢速课程 现在每个作业都占成绩的 17.5%，稍微强调期末但并没有真正改变整体课程动态 作业截止日期已重新分配 更新[2014-10-07 周二] ： 第一个作业从10/16推迟到10/21 未来作业被相应推后 对整体教学大纲的任何调整都将反映在教学大纲文件中 本课程的大部分材料都可以在此存储库中找到：讲义、作业和期末学习材料。 让我们谈谈本课程的目标。 在这节课结束时，我希望每个人 能够构建基本的有限自动机（DFA、NFA、PDA）和上下文无关文法（CFG） 理解正则表达式和 DFA 之间的关系 理解PDF和CFG之间的关系 能够使用正则语言抽引引理证明一种语言不是正则语言 能够使用上
【文件预览】：
cs311-master
----DFALang.hs(6KB)
----.gitignore(21B)
----worksheet1.pdf(107KB)
----worksheet9.org(804B)
----worksheet7.org(321B)
----worksheet12new.org(652B)
----HW5.org(852B)
----lectures.org(146KB)
----worksheet8.org(360B)
----README.org(3KB)
----HW2.tex(2KB)
----worksheet5.org(550B)
----HW1.tex(3KB)
----HW1.org(3KB)
----syllabus.md(7KB)
----syllabus.org(5KB)
----worksheet3.pdf(108KB)
----HW3.org(1KB)
----worksheet8.pdf(89KB)
----HW4.org(920B)
----HW4.tex(2KB)
----HW4.pdf(119KB)
----worksheet10.org(978B)
----worksheet6.org(326B)
----worksheet4.org(446B)
----proof.sty(7KB)
----worksheet3.org(597B)
----worksheet4.pdf(88KB)
----worksheet5.pdf(112KB)
----LICENSE(1KB)
----worksheet2Sol.pdf(135KB)
----worksheet12new.pdf(49KB)
----worksheet7.pdf(57KB)
----HW3.pdf(100KB)
----worksheet11.pdf(98KB)
----worksheet11.org(787B)
----worksheet11Answers.org(3KB)
----HW2.org(2KB)
----agda()
--------RegExp2.agda(3KB)
--------DFA.agda(4KB)
--------RegExp.agda(3KB)
----worksheet2.pdf(61KB)
----README.md(3KB)
----HW1.pdf(170KB)
----NFAlang.hs(259B)
----worksheet11Answers.pdf(148KB)
----Test2.dfa(109B)
----worksheet2.org(3KB)
----lectures.pdf(418KB)
----worksheet1.org(933B)
----HW2.pdf(132KB)
----worksheet2Sol.org(5KB)
----worksheet6.pdf(57KB)
----Test.dfa(35B)
----lectures.tex(144KB)
----worksheet10.pdf(66KB)
----HW3.tex(2KB)