为什么是有穷?:状态和输入字母表有穷。

作用:是一种识别装置,识别正规文法所定义的语言和正规式所表示的集合。

分类:

(i)确定的有穷自动机(DFA)

(ii)不确定的有穷自动机(NFA)