搞笑僵尸思考时间

所以DFA、正则文法、正规式，他们之间有什么关联性呢？本章是词法分析小结，借助于梦中人物之口引出了正规集的概念。

理论走通了并不等于产品就会好用。如何打磨好产品让用户方便使用，是每一个产品必须考虑的问题。本集主角经历了一波认知和心理的重建后，从零推导出了正规式这一经典概念。

在又不是不能用的加持下，我们往往会忘记把解决方案进行最小化。殊不知，这让我们失去了深入了解这个问题的机会。本回，主角将学习使用奥卡姆剃刀，把DFA不必要的状态消除，从而让其最小化。

把NFA研究明白了是否就能打赢Boss呢？本回，主角想弄明白，为什么NFA在他的手上存在效率不高，并且研究出NFA确定化的算法。

研究了那么久的理论，总想着直接来一次酣畅淋漓的成功。但是其实成功也是建立在多次失败上的。这一章中，主角体验到了首次失败，发现已有的理论并不能直接解决问题，他会如何解决呢？

玩乐高也可以学习如何构建形式化定义呢。本篇我们通过一些简单的例子，从而思考并学习如何定义一个抽象的有限状态自动机。

有了正则文法后，我们不得不思考一个问题：这套东西只有人类看得懂，而且这堆东西和之前的代码版好像没有区别。所以我们需要思考，要如何设计代码结构，才能让逻辑在外头，代码独立运行，从而减少代码的修改。

在推导出基本的规则描述方法，我们再根据编程语言中出现的单词特点，就可以得出一套完整的用于编程语言出现单词的描述规则——正则文法。

如果面对两类单词，你直接编写代码处理，我不挑你理；但如果需求一直在不断变化，你还直接修改代码，那么终有一天会累死。把逻辑和代码分离，可以让我们省去很多事情。