有限自动机FA可用于识别高级语言源程序中的记号单词FA可分为确定的有限自动机DFA和不确定的有限自动-X题卡

可用正规式“aa*bb*”描述，但不能通过有限自动机识别可用正规式“a^mb^m”表示，也可用有限自动机识别不能用正规式表示，但可以用有限自动机识别不能用正规式表示，也不能通过有限自动机识别

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

该自动机识别的字符串中a不能连续出现该自动机识别的字符串中b不能连续出现该自动机识别的非空字符串必须以a结尾该自动机识别的字符串可以为空串

abab aaaa bbbb abba

(011)*01 1*0*10*1 1*(0)*01 1*(0110)*1*

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

(a b)*(aa)* a(a b)*a (a b)* a(ba)*a

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

图灵机有限自动机下推自动机无限自动机

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

词法分析语法分析语义分析出错处理

(a∣b)*(aa)* a(a∣b)*a (a∣b)* a(ba)*a

(011)*01 1*0*10*1 1*(0)*01 1*(0110)*1*

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

(0 1)*01 1*0*10*1 1*(0)*01 1*(0 10)*l*

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

确定的有限自动机图灵机非确定的下推自动机非确定的有限自动机有限自动机线性有限自动机

该茸动机识别的字符串中a不能连续出现自动机识别的字符串冲b不能连续出现该自动机识别的非空字符串必须以a绪尾该自动机识别的字符串可以为空串

有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFAD与某NFAM等价，则（）。