知识点：有限自动机
考察不确定的有限自动机(NFA)和确定的有限自动机的区别。书上有原文，说了两点区别：
1、NFA的一个当前状态的下一个状态是不确定的。
2、有向弧上的标记可以是那个特殊希腊字符（ε）像一个左右相反的数字3，表示空字。
另外关于DFA还有一个特点，如果那个双层圆圈(也就是结束)同时也是开始的话，那么这个DFA就可以识别空串。
本题的第一个圆圈完毕后可以继续第一个，也可以跑去识别第二个，所以第一个圆圈后面无法确定它的下一个状态，是非确定的有限自动机。倒数第三个一定是a，所以不能识别以bab结尾的。