回不去的何止是时间

Part Ⅰ 正则语言

有穷自动机

形式化定义

$$
(Q,\Sigma,\delta,q_0,F)
$$

分别表示字母表，状态集合，转移函数，起始状态，接收状态集合

典型的分布

泊松分布

• 其符号为$\pi$

$$
P{X=k}=\frac{\lambda^ke^{-\lambda}}{k!},k=0,1,2,…,
$$

王老师软件工程课笔记

Part I 绪论

1、软件危机的定义

• 软件规模增长，复杂度增加，导致超预算、完成脱期、质量下降。

• 可靠性随规模增长而下降。

春风桃李花开日，秋雨梧桐叶落时