CSCI3130 T01 课程介绍与学习安排

课程：CSCI3130 Formal Language and Automata Theory · 2026T1 本讲：原件 T01-课程介绍-2026T1.pptx（本地课件）；阅读用 PDF（本地课件） p.1–8 定位：核对辅导课、考核与课程要求，区分课件上的安排和后续公告。 前后：下一份 T02 Part 1 承接：L00 课程介绍；行政安排不新增知识条目

辅导课与助教轮值（p.1–2）

p.1 是课程介绍标题页。

p.2 Tuesday 5:30-6:15pm MMW LT1

这是当前保存的2026T1原件所列时间地点。p.2 依次列 YANG Xiaoman（9月14–29日）、LI Bohao（9月30–10月13日）、LOK Long Fung（10月14–11月1日）、HE Danyang（11月2–10日）、WANG Yiru（11月11–12月1日），并注明前三位负责期中相关事务。联系时应看自己问题发生时的轮值区间，邮箱直接查原件，避免把2025辅导课标题页的联系人当成本学期排班。

成绩组成与日历（p.3–4）

p.3 Homework assignments: 10%

p.3 Quiz: 20%

p.4 Midterm Examination: 30%

p.4 Final Examination: 40%

四项合计100%。五次作业发布时间在原页为14/09、28/09、12/10、02/11、16/11，准备一周，周一23:59截止；五次Quiz为22/09、06/10、20/10、10/11、24/11，每次20分钟。期中正文标10/26。

图（p.3–4）：月份日历上黑圈为作业发布、红圈为截止、蓝圈为Quiz，图例另列绿色Midterm。看什么：日历是课程安排图，不是实时Blackboard状态；正文写了期中日期，不能因图上绿色圈不明显就认定没有期中。本文按已保存原件记录，后续公告变化需重新核验。

Quiz 原页允许大学认可计算器、一张双面A4手写cheat sheet和基本文具，其余所列书本、零散纸张、电脑、手机、智能手表等不允许。这里的Quiz规则不能自动推广为期中和期末规则。迟交原文为“20% withing 3 working days”，未说明是每天扣20%还是该窗口统一扣20%，本文不自行补成每日累计。缺席期中需在3个工作日内以证明材料申请补考安排。

考试角度：（B 级：本原件p.3–4的考核说明）可带材料与时间是准备Quiz时需要核对的课程自述，不是知识点考频证据。

p.3 日历转成可直接使用的表（截止日期按原页一周准备与圈注，均23:59；这是保存版本的安排）：

p.4 另强调 Academic Honesty：避免作弊。p.7–8 要求提问和申请复核时保持礼貌、尊重；书写不清可能导致作业或考试失分。原页的个人邮箱用于课程联系，本站不公开学生编号式邮箱；这些联系字段不影响本篇课程规则的独立阅读。

AI 使用需说明用途（p.5–6）

p.5 Use AI as a tutor to clarify concepts covered in class or to identify mistakes in your own work.

p.6 “I acknowledge the use of [AI tool] to [state the support provided].”

p.5 允许在明确声明和适当引用下使用AI，要求说明功能性用途；p.6 给声明、引用、标记AI生成文字以及必要时附提示与回答的例子。本文是AI编写的学习伴读；若将其中内容用于自己的课程提交，应按该要求说明实际使用方式。p.6 的2023年ChatGPT引用是原课件示例，不等于本次实际模型版本，不能原样当本次事实填入。

p.6 引用示例的完整字段是作者 OpenAI、年份2023、工具 ChatGPT、版本 Mar 20、工具网址。它教的是引用需要辨认工具和版本；实际作业应填写实际使用的工具、日期/版本与用途，而不是复制这份历史示例。原页还要求明确标注直接插入的生成文字，必要时同时附提示和回答。

提问、手写作答与复核（p.7–8）

p.7 please be sure it is clean and readable

p.7 说通常24小时内处理邮件，但可能延迟；面谈应事先预约。课程图多，鼓励手写，但关键是清晰可读，并不是原页强制所有作业只能手写。画自动机时箭头方向、初态、终态与边标签必须能辨认。

p.8 we will regrade the entire exam paper again instead of looking into a specific questions

p.8 给成绩发布起一周的复核窗口；期中或期末重新评分会看整份卷，不只看提出异议的一题。提交复核请求时应指明评分依据和自己的对应步骤。这里是原件政策记录，未向任何助教发送消息。

把“答案可读”落实到一张自动机图（补充）

辅导课强调清晰表达，这会直接影响形式语言题是否能被核验。以“接受奇数个 a”的 DFA 为例，纸上只有两个圆圈和几根箭头还不足以表达答案：先声明字母表，再给两个状态的含义、初态箭头、终态双圈，并为每个状态的每个字母标出唯一去向。最后用空串、一个 a、两个 a 各走一次。这些不是额外装饰：缺初态就不知道从哪开始，缺终态就不知道何时接受，漏 b 转移就无法判断含 b 的输入。

引用课程安排时也要保留证据边界。本篇记录的是已保存的 2026T1 T01 版本；“Quiz 可带双面手写 A4”只能应用于这里明确说明的 Quiz，不能凭类比扩展成期中、期末的许可。若后来公告更新，应以对应测验的实际公告核对，不能把旧课件的日期当成实时通知。

本讲核心考点

• 作业10%、Quiz20%、期中30%、期末40%（p.3–4，B 级，考核安排）。
• Quiz的20分钟及允许材料范围不能自动套用到其他考试（p.3，B 级）。
• AI用途声明、引用和作答可读性是原件明示要求（p.5–7，B 级）。
• 成绩复核窗口与整卷重评范围须按原文理解（p.8，B 级）。

附录

本次仅记录原件安排，没有课程知识习题。2026T1版本在9月17日保存；9月20日Blackboard登录验证未完成时，不将其标成当日已核验最新版。

来源与证据

历史版本考试证据（本次未重新读取全部试卷）：读了 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：无

• 原件：T01-课程介绍-2026T1.pptx（本地课件），8页；PDF为阅读衍生件，不是第二份原始课件。

• 本次独立学习修订：核对对应辅导原件全部文本与本篇题面，保留完整规则、转移与证明。另读取8页PPTX文字并复核现有阅读PDF8页。