A.下推自动机
B.线性有界自动机
C.图灵机
D.有穷状态自动机
下图所示的有限自动机中,s0是初始状态,s1为终止状态,该自动机不能识别()。
A.abab
B.aaaa
C.babb
D.abba