此题为判断题(对，错)。
下图所示的有限自动机中，s0是初始状态，s1为终止状态，该自动机不能识别()。
A．abab
B．aaaa
C．babb
D．abba
在编译程序中，语法分析的方法有自顶向下分析和自底向上分析。自顶向下分析方法从文法的开始符号出发，判断其能否(151)出输入符号串。采用自顶向下分析方法时，要求文法不含有(152)。自底向上分析方法自左向右扫描输入符号串，通过(153)分析其语法是否正确。例如，(154)就是一种自底向上的分析方法，与其它自底向上分析方法不同，它是根据(155)来进行归约的。
A．归纳
B．归约
C．推理
D．推导
