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