下图是一有限自动机的状态转换图，该自动机所识别语言的特点是(45)，等价的正规式为(46)。A．由符号a、b构成且包含偶数个a的串B．由符号a、b构成且开头和结尾符号都为a的串C．由符号a、b构成的任意串D．由符号a、b构成且b的前后必须为a的串

正确答案：B
解析：本题考查串的定义和特点。串是由零个或多个字符组成的有限序列。串中的内容可以是字母、数字或其他字符，串中字符的个数就是串的长度，如果没有字符，则是空串，其长度为零。

正确答案：A
解析：任何一个整数被3除后，余数或为0、或为1、或为2。因此，若将该DFA识别的0、 1串看作是二进制整数，则有以下结论：
  ▲ 0被3除，余数为0。
  ▲ 设能被3整除的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数仍然为0。若在x之后连接一个1所得的数为y，则y=2x+1，因此， y被3整除的余数将等于1。
  ▲ 设被3整除后余数为1的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数为2。若在x之后连接一个1所得的数为y，则y2x+l，且y被3整除的余数将等于0。  ‘
  ▲ 设被3整除后余数为2的二进制数为x。若在x之后连接一个0所得的数为y，则y=2x，且y被3整除的余数为1。若在x之后连接一个1所得的数为y，则y=2x+l，且y被3整除的余数仍等于2。
  综上，设被3除后的余数为0用qo(下标)表示、余数为1用q1(下标)表示、余数为2用q2(下标)表示，若将空串的值看作0，则下图所示的自动机识别的是能被3整除的整数，其正规式为(0* (1(01*0)*1)*)*。
 
  若限定该自动机识别的0、1序列不能为空串，则相应自动机的状态转换图如下图所示。
 

正确答案：C
]