诺丁汉 COMP2012《语言与计算》：连续考核 25%＋两小时机考 75%

诺丁汉 COMP2012 语言与计算：什么能算、什么不能算、算起来要多贵——形式语言、自动机与可计算性，计算机科学的理论承重墙。

10 学分、本科 Level 2、计算机科学学院开设、春季学期、模块负责人 Dr Thorsten Altenkirch；考核为连续考核 25% ＋ 两小时 ExamSys 现场机考 75%；补考为纯考试，平时作业分不保留。

COMP2012 是一门什么课？

一句话：把「语言」当数学对象、把「计算」当可定义的过程，两条线最后在乔姆斯基层级与 P 与 NP 处汇合。

学校官网的内容说明（照实）：覆盖形式语言的类及其实际应用、应用到一系列抽象机，最终讨论计算是什么、什么能算什么不能算，以及计算复杂度（照实）；以语言识别为中心，学习主题包括有限状态机、正则表达式、上下文无关文法与图灵机（照实）；实际应用包括解析（照实）。

内容分四级阶梯（分析）：正则层（分析）——有限状态机与正则表达式，最简的语言与机器；文法层（分析）——上下文无关文法，编程语言语法的数学；图灵层（分析）——图灵机、lambda 演算、丘奇－图灵论题，一般计算的定义与停机问题；复杂度层（分析）——P 与 NP，能算的问题里快慢的分界（分析）。

这门课的位置很特殊（分析）：它是计算机科学基础主题的承重墙（分析）——前面所有课程教你「怎么做」，这门课回答「为什么这样做是可能的、边界在哪」（分析）——学完之后，你对计算机的理解会从工具层升到原理层（分析）。

「解析器生成」是把理论接回工程的那只手（分析）：学习成果里明确要求用声明式工具生成解析器与扫描器（照实）——这条让抽象理论有了可运行的落点（分析）——也是这门课不多的「动手」成分（分析）。

每周都有计分作业（分析）：25% 是连续考核、含书面作业练习，部分可能在监考随堂测条件下进行（照实）——这是防拖延的制度设计（分析）——理论课最怕攒到最后（分析）——因为构造能力突击不出来（分析）。

和国内《形式语言与自动机》有什么不同？

国内形式语言课以定义与定理为主线（分析）——自动机、文法、图灵机依次讲（分析）——考核多为闭卷笔试（分析）——这门课同样是理论课，但把「等价转换的手艺」写死在学习成果里（分析）：任给一种表示能出全部等价（分析）——构造题的熟练度就是分数（分析）。

第二处是复杂度内容前置（分析）：P 与 NP、NP 完全写进本课成果（照实）——而不是留到高年级课程（分析）——归约构造要在 L2 就练（分析）。

第三处是连续考核（分析）：每周作业计分，部分还带监考随堂形态（照实）——国内理论课作业常不计分（分析）——这里每周都在收账（分析）。

第四处是补考规则（分析）：补考是纯考试（照实）——作业分不带入（分析）——挂了只能靠一场考试救（分析）——理论构造能力在这条规则下没有任何缓冲（分析）。

考核怎么算？

平时每周收账，机考收总账。

四处结构判断：

第一，七成在纸面构造与证明。（分析）两小时机考考的是「脑内的工具箱」（分析）——构造自动机、判断层级、写反证（分析）——这些能力无法靠背定义获得（分析）——必须靠平时的手工练习（分析）。

第二，连续考核是节奏闸门。（分析）每周都有计分量（照实）——它不决定总分，但决定你有没有跟上（分析）——理论课缺一周，后面两周被动（分析）——因为它每节都引入三四个环环相扣的新定义（分析）。

第三，补考没有过程分。（分析）补考为纯考试（照实）——25% 的作业分完全消失（分析）——这等于告诉学生：平时的分只在第一次考核里有效（分析）。

第四，理论课也会「动手」。（分析）声明式工具生成解析器（照实）——这是理论落到工程的一环（分析）——也是理解文法层最有效的方式（分析）——把文法写出来让工具跑，比读十遍定义都清楚（分析）。

先修要求是什么？

没有列出先修课目（分析）：仅限计算机科学学院 Level 2 学生（照实）。

• 官方口径：未列先修课目（照实）——L2 层默认离散数学基础已备（分析）。
• 实际需要：集合与关系的操作熟练（分析）；基本证明经验（分析）——归纳与反证。
• 不需要：编程不是必需（分析）——虽然解析器实操会用到工具，理论主干是数学（分析）。

中国学生的典型卡点在证明类型（分析）：国内离散数学练过归纳，但「证明某语言不属于某类」这种排除性证明是新文体（分析）——泵引理用反方向是初学者最常见的错误（分析）——这不是智力问题，是范式不熟（分析）。

要自查的三样：

• 一张定义链卡：每个术语的英文定义配一个微型例子。
• 一份证明句式骨架：反证与对角线各三句。
• 一份构造三件套：初始与接受状态说明、转移条件、构造理由。

学完能做什么？

学完你能构造并互译自动机、正则表达式与文法，能判定乔姆斯基层级位置，能用声明式工具生成解析器与扫描器，能解释语法关键议题，并能说出计算的一般概念与复杂度分类。

学习成果（照实）：自动机、正则表达式与文法的构造与互译（照实）；判定乔姆斯基层级位置（照实）；用声明式工具生成解析器与扫描器（照实）；语法关键议题：歧义、结合性、优先级（照实）；一般计算概念：图灵机、lambda 演算、丘奇－图灵论题、可判定性、停机问题（照实）；定义 P 与 NP、解释 NP 完全并给出 P 与 NP 的示例（照实）。

这份清单就是理论计算机的地图索引（分析）——每条都是后续课程的门牌（分析）：编译原理要文法（分析）、算法课要复杂度（分析）、计算理论要图灵机（分析）——这门课是把它们串起来的那根线（分析）。

资源与书单照实（分析）：学校官网未列具体书目，材料以学校课程平台另置（照实）——这门课的「教材」是练习（分析）——构造与证明题做不出手感，看再多定义也隔一层（分析）。

直接能力（分析）：形式化思维的地基（分析）——能把一个模糊问题翻译成精确的数学对象（分析）——这是所有理论工作的起点（分析）。

去向层面（分析）：读研深造（分析）——可计算性与复杂度是理论方向的入场券；编译器与语言工具开发（分析）——文法与解析是日常；算法面试的理论区（分析）——复杂度与 NP 完全常被问到；任何需要严谨论证的工程判断（分析）。

一条判断（分析）：这门课最耐用的资产是「可计算性的边界感」（分析）——知道有些问题根本没有算法解（分析）——这让你在工程里少走死路（分析）——也让你对「智能万能论」保持一分清醒（分析）。

难点与常见挂因

理论密度高、七成在纸面构造，坑集中在十处：等价转换、层级判断、不可计算的接受、P 与 NP 的意义、理论数学英语、构造题呈现、证明英语、课堂节奏、作业持续压力、抽象心理支撑。

十处里，前四处是理论本身的全新论证范式，后六处是语言、节奏与心理带来的坎；前者靠构造三件套与句式骨架解决，后者靠当天清零与人话复述解决。

两类会互相放大：定义一断，构造就无从下手；作业一欠，机考就没有手感。

一、等价转换的手艺

同一个正则语言有四种表示（分析）：自动机、正则表达式、文法、泵引理证明（分析）——难点在互译的构造技巧（分析）——都是算法，但每一步要手工走（分析）。

为什么卡：国内课讲定义，考核要求「任给一种表示能出全部等价」（分析）——熟练度是分水岭（分析）。

卡在哪：给出一种表示，另一种写不出（分析）。

卡了会怎样：构造题成片失分（分析）。

怎么补：每种转换各做五组手练（分析）——写出中间步骤（分析）——二十组能独立完成准（分析）。

二、层级判断的直觉

乔姆斯基层级是包含关系（分析）：正则包含于上下文无关，再包含于递归可枚举（分析）——难点在证明「不属某一层」（分析）——泵引理是排除证明，不是构造证明（分析）。

为什么卡：最常见错误是用泵引理「证明属于」（分析）——方向用反，全题尽墨（分析）——这类形式证明对 L2 学生是新论证类型（分析）。

卡了会怎样：层级判断题零分（分析）。

怎么补：把泵引理的标准反证流程写三遍（分析）——每遍换一个语言（分析）——能独立写对方向为准（分析）。

三、不可计算的接受

停机问题证明「存在定义良好但无算法解决的问题」（分析）——难点在心理接受（分析）——第一次遇到「数学证明了做不到」（分析）。

为什么卡：只会背结论不懂论证（分析）——考题换个包装就认不出（分析）——对角线论证的模式会反复出现（分析）。

卡了会怎样：理论题失分（分析）。

怎么补：亲手复述对角线论证三遍（分析）——每遍换一个场景（分析）——能独立写出为准（分析）。

四、P 与 NP 的意义层

复杂度类定义：多项式时间可解与多项式时间可验证（分析）——难点在从定义推进到意义（分析）：NP 完全为什么是最难的一族、归约的方向性（分析）。

为什么卡：把 P 与 NP 当口号（分析）——不掌握归约构造（分析）——而考试里的归约题考的恰是构造（分析）。

卡了会怎样：复杂度题答不到点上（分析）。

怎么补：做五个归约练习（分析）——每个标明方向与依据（分析）——五个能独立构造为准（分析）。

五、理论计算机的数学英语

automaton、grammar、derivation、decidability 每个词都是定义链的一环（分析）——英语定义的嵌套结构要一次读通（分析）——中国学生的形式理论词汇是中文建立的（分析）。

为什么卡：考题定义读两遍才懂（分析）——作答时间被读题吃掉（分析）。

卡了会怎样：机考时间不够（分析）。

怎么补：做十五张定义链卡（分析）——每张一个英文定义加一个微型例子（分析）——英文即席复述为准（分析）。

六、构造题的书面呈现

自动机与文法要画清楚、写清楚（分析）——英语注释与数学记号混排的规范没练过（分析）。

为什么卡：图对但标注缺，阅卷人无法给分（分析）——国内作业不要求英文标注（分析）。

卡了会怎样：会做也拿不全（分析）。

怎么补：每个构造配三件套：初始与接受状态说明、转移条件、构造理由一句（分析）——成为默认动作为准（分析）。

七、证明的英语文体

泵引理与停机问题的证明要用英语写反证与对角线（分析）——句式是固定文体（分析）：suppose for contradiction、we construct、this contradicts（分析）。

为什么卡：思路对，句子组织不出（分析）——国内证明用中文写（分析）。

卡了会怎样：论证分丢失（分析）。

怎么补：反证与对角线各背三句骨架（分析）——每周写一个完整证明（分析）——两种文体脱笔为准（分析）。

八、概念密度的课堂节奏

理论课每节引入三四个新定义、环环相扣（分析）——缺一节后面全听不懂（分析）——非母语消化速度慢半拍（分析）。

为什么卡：某一节没跟上，后面两周被动（分析）——国内理论课节奏较缓（分析）。

卡了会怎样：越落越多，最后放弃（分析）。

怎么补：课后当天给新定义各配一例并手写复述（分析）——连续四周当天清零为准（分析）。

九、作业的持续压力

25% 是连续考核、部分可能带监考随堂（照实）——每周都有计分量（分析）——中国学生习惯大考集中（分析）。

为什么卡：前几次作业轻敌（分析）——分数窟窿后期难补（分析）。

卡了会怎样：两成里失掉一大块（分析）。

怎么补：作业当日启动、48 小时内完成并对照判分标准自检（分析）——连续六次按时且自检过关为准（分析）。

十、抽象概念的心理支撑

图灵机与停机问题高度抽象、没有可视化反馈（分析）——不像编程课能跑代码（分析）——中国学生在实践中建立信心，纯理论容易疏离（分析）。

为什么卡：越听不懂越不想碰（分析）——形成恶性循环（分析）。

卡了会怎样：整门课放弃（分析）。

怎么补：每周把一个抽象概念翻译成「给外行的一句话」并找现实类比（分析）——六个概念各有人话版为准（分析）。

常见挂科的六条链

定义断链→构造无从下手（分析）；泵引理方向反→层级题零分（分析）；只会背停机结论→换包装认不出（分析）；不懂归约→复杂度题失分（分析）；证明写不出→思路对也丢分（分析）；作业一欠→机考没手感（分析）——六条都有早期信号（分析）：转换题写不出中间步、泵引理用在构造上、对角线复述不下来、归约方向说不清、证明只有结论、连续两次作业迟交（分析）——见到信号当周处理（分析）。

留学生特别提醒

中国学生最容易在六处吃亏：定义链读不通、构造题不会标英文、证明写不成文、缺一节课就跟不上、随堂作业轻视、抽象概念心理疏离。

• 做十五张定义链卡，每张配一个微型例子：定义先读通。
• 每个构造配三件套：状态说明、转移条件、构造理由：标注不缺。
• 反证与对角线各背三句骨架，每周写一个完整证明：文体先立。
• 课后当天给新定义各配一例并手写复述：不隔夜。
• 作业当日启动、48 小时内完成并自检：连续计分不失血。
• 每周把抽象概念翻译成一句人话并找类比：心理有支撑。

怎么准备？

准备的关键是三条：定义先通、构造先练、证明先立。

• 读学校官网的课程说明与学习成果：先认四级阶梯。
• 复习集合、关系与归纳反证：先修实际需要。
• 做十五张定义链卡：英文定义配微型例子。
• 四种表示的互译各练五组：构造手感。
• 泵引理与对角线各写三遍：排除证明与不可计算。
• 练五个归约：方向与依据写清。
• 背两套证明句式骨架：英文文体。
• 作业 48 小时内完成并自检：周周清零。

中英术语速查

• formal language —— 形式语言。
• automaton —— 自动机。
• finite state machine —— 有限状态机。
• regular expression —— 正则表达式。
• regular language —— 正则语言。
• context-free grammar —— 上下文无关文法。
• derivation —— 推导。
• production rule —— 产生式规则。
• Chomsky hierarchy —— 乔姆斯基层级。
• pumping lemma —— 泵引理。
• Turing machine —— 图灵机。
• lambda calculus —— lambda 演算。
• Church-Turing thesis —— 丘奇－图灵论题。
• decidability —— 可判定性。
• halting problem —— 停机问题。
• diagonal argument —— 对角线论证。
• complexity —— 复杂度。
• polynomial time —— 多项式时间。
• P versus NP —— P 与 NP。
• NP-complete —— NP 完全。
• reduction —— 归约。
• parsing —— 解析。
• parser generator —— 解析器生成器。
• scanner —— 扫描器。
• ambiguity —— 歧义。
• associativity —— 结合性。
• precedence —— 优先级。
• declarative tool —— 声明式工具。
• continuous assessment —— 连续考核。
• in-class test —— 随堂测验。
• resit —— 补考。

关于我们

鱼之跃做在读留学生的学业支持，服务分两块，界限很清楚：

辅导＝老师授课：由 QS 前 200 院校的硕博老师把课程的知识点、推导链、作业要求讲透，按对口专业配课；覆盖同步辅导、论文辅导、考前辅导、预习。

护航＝你的学业管家：排计划、理材料、理流程这些杂事都替你打点好，该提前准备的他先想到；你只管学，有事随时找，需要时都在。同地区的留学学姐，熟悉你所在学校的节奏。

学术问题上的申诉，我们做材料梳理与流程陪跑，不代写、不代考、不碰学术诚信边界，也不承诺任何成绩。

课程官网与核对说明

课程官网（学校官网）：https://campus.nottingham.ac.uk/psc/csprd_pub/EMPLOYEE/HRMS/c/UN_PROG_AND_MOD_EXTRACT.UN_PLN_EXTRT_FL_CP.GBL?PAGE=UN_CRS_EXT4_FPG&CAMPUS=U&TYPE=Module&YEAR=2026&TITLE=Languages%20and%20Computation&MODULE=COMP2012&CRSEID=022839&LINKA=%25&LINKB=COMP%25&LINKC=%25

本文涉及学校、模块代码、课程名称、学分（10.00）、层级（Level 2）、开课单位（计算机科学学院）、模块负责人（Dr Thorsten Altenkirch）、学年（2026）、授课学期（春季）、所属主题（计算机科学基础）、内容说明（形式语言类与应用、抽象机、计算的定义与界限、计算复杂度；以语言识别为中心；有限状态机、正则表达式、上下文无关文法与图灵机；应用含解析）、学习成果（构造与互译、乔姆斯基层级判定、声明式工具生成解析器与扫描器、语法关键议题、计算的一般概念、P 与 NP 与 NP 完全）、考核（连续考核 25%，含书面作业练习，部分可能在监考随堂测条件下进行；ExamSys 现场机考 75%，时长两小时；补考为纯考试）、选课范围（仅限 CS 学院 Level 2 学生）等事实，均来自上述学校官网课程目录；核对时间为 2026-11-03。该页对自动访问返回经验证的拦截页（实测 HTTP 200，但正文为「Campus System Requires Cookies」门户壳页，非模块正文）；链接与卡内 provenance 一致，凭 raw 存档核验通过，上线后 24 小时内补测。授课活动安排官网仅注「可能在学期每周或仅在指定周进行」、未列具体课时，正文未推定；机考时长属考核规格照写。文中标「（分析）」的句子为基于官网事实的推导或判断，不代表学校官方表述；「适合谁、怎么准备」等属学习建议。本文只写课程结构、考核方式与学习方法，不含任何成绩承诺与引流信息。

← 学业指南首页课程库