CSCI3130 L00 Part 1/4 Administrative Matters

课程：CSCI3130 Formal Languages and Automata Theory · 2026T1 本讲：L00 Part 1/4 Administrative Matters · 原件 L00-课程简介-2026T1.pdf（本地课件） p.1–12 定位：弄清本课怎样组织、成绩怎样组成，以及课件所说的 AI 使用方式。课程安排以下述课件版本为准，实际变更应查 Blackboard 公告。 前后：下一份 L00-P2-学习目标.md

整讲导航

• Part 1：PDF p.1–12
• Part 2：PDF p.13–15
• Part 3：PDF p.16–30
• Part 4：PDF p.31–65

p.1 标题页；p.2 列出全讲四部分。

Administrative Matters

课程、答疑与教材（p.3–5）

p.3 Website: Blackboard

p.3 给课程身份 Formal Languages and Automata Theory（形式语言与自动机理论），课程号 CSCI3130。课件列周一 12:30–2:15pm、ERB LT1，周二 4:30–5:15pm、MMW LT1；Interactive Tutorial 为周二 5:30–6:15pm、MMW LT1。它们是本版课件中的安排，不应把一次停课或补课公告当成永久课表。

p.4 把教师答疑和助教支持分开：教师是 Tsung-Yi Ho（何宗易），邮件 [email protected]，课件列答疑时间周二 2–4pm、地点 SHB 908。理解概念时，适合带上具体页码、自己已经尝试的推理和卡住的一步；这比只问“这一章怎么学”更容易定位问题（此建议为补充）。

p.5 主教材是 Peter Linz、Susan Rodger 的 An Introduction to Formal Languages and Automata, 7th Edition；参考书是 Hopcroft、Motwani、Ullman 的 Introduction to Automata Theory, Languages and Computation, 3rd Edition。后面页脚的 Ch 1、Ch 2 指教材章节，伴读的 p.1、p.2 则始终指 PDF 页号，两种编号不能混用。

p.4 的助教名单：LOK Long Fung、HE Danyang、YANG Xiaoman、WANG Yiru、LI Bohao。教师邮件是课件明确推荐的联络方式；这份学习材料保留人员分工，具体联络入口使用课程 Blackboard，避免把后续人员变更误当成固定安排。

p.5 的书目资料：主教材第 7 版由 Jones and Bartlett Publishers 于 2022 年出版，ISBN 978-1284231601；参考书第 3 版由 Addison Wesley 于 2006 年出版。这里列书目是帮助对齐课程版本，并不表示笔记已经引用或阅读了教材全文。

分数怎样组成（p.6–7）

p.6 Homework assignments: 10%

p.7 Midterm Examination: 30%

p.6 列 Homework 10%、Quizzes 20%；p.7 列 Midterm 30%、Final 40%。四项相加为 100%，不是“每份作业占 10%”。课件写五次作业和五次 quiz；quiz 每次 20 分钟，closed-note、closed-book，但允许一张双面 A4 手写 cheat sheet，以及大学认可的计算器和基本文具。这些许可明确写在 quiz 段，不能自动推广到 midterm 或 final。

课件 p.6–7 印出的具体安排如下，均是这一版幻灯片的记录，不是对最新公告的确认：

日历图跨 2026 年 9–11 月及 12 月首周；图中标记是上述安排的视觉提示，没有另给每次课所讲章节。文字日期、星期或后续公告若不一致，应保留这个版本差异，不能自行算一个截止日期替教师决定。

quiz 可带的基本文具包括 pen、pencil、eraser、ruler、correction tape 和 correction fluid。除此许可，课件明确禁止 books、notes、pieces of paper、computers、phones、smart watches 及其他电子设备。这里的“closed-note”与允许一张特定 A4 手写纸不矛盾：后者是明确列出的例外。p.7 另强调 academic honesty，要求避免作弊。

补充 · 算一遍（数字是我为演示取的，讲义没给）：若四类百分制成绩分别为 80、70、60、90，加权成绩为 $0.10\cdot80+0.20\cdot70+0.30\cdot60+0.40\cdot90=8+14+18+36=76$。这里用的是各类别的最终成绩，课件没有在本段解释类别内部缺交等情况的计算方式。

p.7 还写迟交作业三个工作日内扣 20%，缺席 midterm 申请补考需在三个工作日内提供支持文件。具体日期、补课安排和“working days”的实际处理应核对课程公告；本伴读不替课方增补规则。

考试角度：（B 级：L00-课程简介-2026T1.pdf p.6–7）课件明确给出考核比例；开闭卷及携带材料的上述限制只在 quiz 段有直接依据。

AI 辅助与说明义务（p.8–10）

p.8 Approach 3 - Use only with explicit acknowledgement

p.9 Use of AI tools is allowed with explicit acknowledgement and proper citation

p.8 的原则是允许使用但需明确说明；p.9 进一步推荐将 AI 当作导师，用来澄清概念或找出自己答案中的错误。理解这个区别：你可以询问证明中的量词为什么这样排列，但仍需要自己判断论证是否正确。生成了一段看起来合理的证明，并不等于这段证明已经得到数学验证。

p.10 区分 acknowledgement（说明用了什么工具、做了什么）与 citation（对采用的内容作来源引用）。说明应对应实际使用，例如辅助理解定义、检查推导；不能复制示例中的日期与版本，假装那就是自己使用的工具版本。

p.9 的说明范围是所有 functional uses：不仅直接复制文字，也包括将工具生成的图像、数据或其他格式内容改写、引用、纳入自己的作品。若只是把生成文字改成自己的措辞，仍然属于该页要求说明的使用。

p.10 的 acknowledgement 示例是在 “I acknowledge the use of” 后填工具名称与地址，再在 “to” 后说明真实用途，例如计划文章、产生内容想法、寻找数据收集工具例子、查询历史事件日期。citation 示例为 OpenAI. (2023). ChatGPT (Mar 20 version). https://chat.openai.com/chat。这是幻灯片的历史格式示例；实际作业应填实际使用信息。

引入生成内容和提示词（p.11–12）

p.11 The following text was generated by an AI tool / language model (ChatGPT):

p.11 展示在正文中明确标识 AI 生成内容的方法。p.12 展示连同 prompt 一起标明的另一种写法。两页都是格式示例，不是让学生原封不动填入一段固定措辞。关键是读者能分清：哪部分由本人作出，哪部分用了工具，工具具体承担什么工作。

p.12 的另一种句式是先列出实际 prompt，再说明内容由 AI language model（例子中是 ChatGPT）生成，随后放该 prompt 对应的生成文字。p.11 与 p.12 的区别是后者进一步保留“问了什么”，使读者能理解生成内容来自怎样的请求。

把一个规则读完整（学习方法补充）：先圈出规则约束的对象，再看条件和后果。例如这里的 10% 是整类 Homework 的权重；五次作业是否等权、缺交是否计零，需要另一条明确规则，不能由“共五次”自行推出。类似地，“三个工作日”不是任意连续 72 小时，节假日和截止时间的细则仍以课程公告为准。把未说明之处记成待核，比填入看起来合理的规则更可靠。

下面的例子可检查加权分数的直觉：如果只把期末从 90 提高到 95，其他类别不变，总分增加 $0.40\cdot(95-90)=2$，从 76 到 78；不是总分增加 5。它是同一演示数据的敏感度计算，不预测课程最终等级，也不假定曲线评分规则。

本讲核心考点

• 考核比例 10% / 20% / 30% / 40%（p.6–7；B 级）。
• quiz 的材料许可不能自动推定为期末规则（p.6–7；B 级）。

附录

本部分没有需要另列的推导；定义与算例在相应页段内。

来源与证据

历史版本考试证据（本次未重新读取全部试卷）：读了 HW01-2025T1-题目.pdf、HW01-2026T1-题目.pdf、HW02-2025T1-题目-更新.pdf、HW03-2025T1-题目.pdf、HW04-2025T1-题目.pdf、HW05-2025T1-题目.pdf、期中练习-含解答-学期待核.pdf、期末-2022T1-资料包.pdf、Final-Exam-2023T1-题目.pdf、Final-Exam-2024T1-题目.pdf、Final-Exam-2025T1-题目.pdf、期末-2023T1-资料包.pdf、期末-2024未核-资料包.pdf；未识别用途的 PDF：无

• 原件：L00-课程简介-2026T1.pdf（本地课件），PDF p.1–12。
• 本次复核：2026-10-13；逐页读取上述原件文字，视觉核对结构图、课表、路线图及历史图页，补全具体内容。静态 PDF 外的视频未读取。