University of Adelaide · 澳大利亚 · 自动机与事件驱动系统
COMP SCI 4023 Event Driven Computing 辅导
这门课对很多留学生特别难：英文课节奏快，希腊字母（δ、Δ̂、ε、Σ）堆在一起， 概念抽象，考试图又像天书。辅导把这团雾拆成纸上能一步步做的方法。
这门课在学什么
Event Driven Computing 把形式模型与反应式软件绑在一起：有限自动机（DFA / NFA / ε-NFA）、 正则、Moore 机、Petri 网、observer / 事件，以及 FRP 风格变换。真正卡人的往往不是 「完全没见过」，而是限时英文术语、记不住的符号、脑子里没有画面的抽象定义， 以及换一张图就不会读的暗号式状态图 / Petri 网。
我怎么辅导这门课
针对本课的同步跟课、作业与考前突击，写清楚怎么上，不讲空话。
- 同步跟课：用中英双语把课程主线讲透（自动机 → 机器 → Petri → 事件 / FRP），让 workshop 与考试用语对齐。
- 作业辅导：拆 brief、梳模型、现场 debug。你保有作者身份并本人提交——不代写。
- 考前突击：针对反复出现的题型限时练（FSA 读图、NFA / 子集、正则 / ε-NFA、按 brief 画 Moore、Petri、observer / FRP），再做错题方法复盘。
辅导会覆盖的主题
来自本课真实辅导的重点，不是学校大纲原文。
- 读 FSA 图并计算扩展转移 Δ̂
- NFA 设计与子集构造
- 正则判定与 ε-NFA → NFA
- 按简短 brief 画 Moore 机
- Petri 网：标识、使能变迁与激发
- Observer、事件日志与 FRP map / miss
- Workshop 风格的构造与核对练习
- 限时真题块 + 错题方法复盘
辅导覆盖
- 同步跟课：用中英双语把课程主线讲透
- 作业 / Lab 拆题与 debug（作业本人提交，不代写）
- 期中期末前针对薄弱点突击
这门课常见卡点
- 英文课 + 希腊字母（δ、Δ̂、ε、Σ）——术语比理解跑得快
- 抽象定义对不上脑子里的「机器在干什么」
- 状态图 / Petri 网像暗号：课堂图眼熟，考试换一张就不会读
- 写转移表时 DFA / NFA / ε 规则搅在一起
- Petri 凭直觉答题，不按网逐步核对
容易带走的上课习惯
- 同步跟课，术语与 workshop、考试一致
- 编程作业你来操作；我帮你对齐模型与边界情况
- 按题型固定方法做考试块（FSA、NFA、正则、Moore、Petri、FRP）
我写过的相关笔记
第一次课前请准备
微信发送：学校、课号（COMP SCI 4023）、截止日期，以及题目 / 代码 / workshop 题 / 报错截图。