一、活动图
1.1 基本概念
描述了活动和活动间依赖关系的图，其中节点表示项目的里程碑（活动结束） ，线表示活动，线对应的时间表示活动的持续时间。
1.2 估算项目的完成时间
关键路径：从起点到终点总花费时间最长的路径，即这个项目的最短完成时间，因为如果这条路径无法完成那么整个项目都不能算完成。所以这条路径上的任务耽误一点都会影响最后项目完成时间
二、不确定有限自动机（NFA）
有限自动机分为确定有限自动机（DFA）和不确定的有限自动机（BFA）
区别在于转换函数的不同
确定有限状态自动机对每一个可能的输入只有一个状态的转移
不确定有限状态自动机对每一个可能的输入可以有多个状态转移
2.1 有限自动机识别字符串
所谓被有限自动机识别，就是依次输入字符串中的字符，判断其是否能使用有限自动机从初状态开始到终态结束，如果能，则可以被识别。
下图中为不确定性有限自动机，所以中间状态转移可以有多个
开始状态为0，结束状态为0， ε可以有多个状态转换0或者1
0110是其中一个该自动机可以识别的字符串
2.2状态转换图
状态转换图是一个有向图，在状态转换图中，每一个结点代表一个状态，其中双圈是终态状态，每一个转换函数对应图中的一条有向弧