确定的有限状态自动机 有限自动机作为一种识别装置,能准确的识别正规集。一个确定的有限状态自动机M是一个五元组: M={ K,Σ,f,S,Z}M={ K,Σ,f,S,Z} K是一个有穷集,它的每一个元素成为一个状态。 ΣΣ是一个有穷字母表,它的每个元素称为一个输入符号,所以也可以称ΣΣ为输入符号表。 f是转换函数,是K×Σ→K