下图所示的有限自动机中,s0是初始状态,s1为终止状态,该自动机不能识别()。
A.abab
B.aaaa
C.babb
D.abba
一个有限自动机识别的语言是一个无限集合,则该有限自动机的状态图一定含有回路。()
此题为判断题(对,错)。
Chomsky定义的四种形式语言文法中,2型语言可由()识别。
A、短语结构文法
B、前后文无关文法
C、前后文有关文法
D、正规文法
E、图灵机
F、有限自动机
G、下推自动机