前言
这节课的重点在于非确定性优先自动机（NFA）模型以及它与DFA模型的关系。
非确定性是计算理论中极为重要的概念。他指的是在一个计算中，不同的阶段可能会有多种选择的可能性。那么我们会思考这些选择的可能得到的输出，通常集中在是否存在一系列选择，它会导向一个特别的输出（比如一个有限自动机的接受状态）。
这听起来像是一种幻想的设计，不太可能与实际观点相关，因为现实的计算机不会做非确定性选择：在每一步中显示计算机做出的选择由已给定的配置决定。然而相反我们对非确定性最大的兴趣不在于给出建议。我们将会发现非确定性是一个强大的分析工具（从某种意义上，他帮助我们设计事物和证明事实），它与证明和验证的密切联系具有基本的重要性。