1、有限自动机
有限自动机分为不确定的有限自动机和确定的有限自动机。
2、确定的有限自动机
只要是有限状态自动机,则必定符合3型文法,且可用正则表达。一个确定的有限状态自动机M(记做DFA)是一个五元组:M=(∑,Q,q0,F,δ),其中:
● Q是一个有限状态合集
● ∑是一个字母集,其中的每个元素称为一个输入符号
● q0∈Q,称为初始状态
● F∈Q,称为终结状态集合
有限自动机分为不确定的有限自动机和确定的有限自动机。
只要是有限状态自动机,则必定符合3型文法,且可用正则表达。一个确定的有限状态自动机M(记做DFA)是一个五元组:M=(∑,Q,q0,F,δ),其中:
● Q是一个有限状态合集
● ∑是一个字母集,其中的每个元素称为一个输入符号
● q0∈Q,称为初始状态
● F∈Q,称为终结状态集合