DFA（确定的有穷自动机）一个确定的有穷自动机M是一个五元组： M=(K，∑，f，S，Z) K是一个有穷集，它的每个元素称为一个状态。 ∑是一个有穷字母表，

hi,大家好！准备了好久，下了很大的决心，终于可以开始更博啦！