它们的本质区别就在于S0，确定的有限状态自动机的S0是唯一确定的。而不确定的有限状态自动机的初态是一个集合，即有多个初态。

Resource Reference

• http://blog.csdn.net/cjr15233661143/article/details/11834727