Compiler vs Formal Method 哪个对工作有用点

Lan-guage-Based Se-cu-ri-ty了解一下

richarduu 发表于 2020-8-4 07:18
保证软件正确性。现在也扩展到系统和网络等的正确性，反正还挺有潜力的。

补充内容 (2020-8-4 07:18):

我研究半天，怎么跟你加米啊

abby3 发表于 2020-8-4 15:52
软件或者硬件可以从理论上证明设计没有错误，也叫formal verification, 软硬件公司都用的很多

啥意思，真的吗？  这跟做sde有啥关系？

skyrain363 发表于 2020-8-4 15:08
刷题吧，最后一学期不要执着难不难的课，工作第一

但我从来没上过compiler ~

编译原理?我是陆本985 21fall,大三下学的,现在正在备考这门课考试(我们马上开学回去考试)。个人感觉不难,和离散数学中的群环域(group、loop、domain)的学习方式以及知识体系结构很相似。我们编译原理就是在学自动机、词法分析、文法分析、语义分析、中间代码生成及优化、以及内存管理。抱歉我不清楚这一些名词用英语怎么翻译，不过我和国外学cs的同学对过，内容大同小异。总体来说知识点比较集中，不算很难，当然以后大概率也是用不上的，作为了解就可以了

陆本
Formal language = 形式语言 = 自动机理论 = Automata theory
是 编译原理 = Compiler 的理论基础
前者主要是形式语言/自动机理论本身（我们学校教的文法本身定理的各种理论、证明，和数学课一样）
编译这门课本身涉及的形式语言的内容就差不多只在文法分析，词法分析，语义分析中会有一点点基础，关于编译器的应用更重要

《编译原理》这本书本身就不要求形式语言基础，附带的一两节足够

感谢各位给一粒米～

抱歉，您不能对匿名帖评分

学完《编译原理》才算是计算机专业登堂入室

都没啥用，有这时间不如多做几道dp

难不难取决于历史资料丰不丰富。我们学校的编译器设计那门课的proj祖传了好几年都没变过，公认的大水课。