有穷自动机(FA) 分类 回顾:上下文无关文法 G G G是一个四元式—— G = ( V T , V N , S , P ) G=(V_T,V_N,S,P) G=(VT,VN,S,P) 确定的FA( D F A DFA DFA) 非确定的FA( N F A NFA NFA) DFA与NFA相互转换 正规文法和有限自动机