下图所示为一个有限自动机（其中，A是初态、C是终态），该自动机所识别的字符串的特点是（ ）。
- A.必须以11结尾的0、1串
- B.必须以00结尾的0、1串
- C.必须以01结尾的0、1串
- D.必须以10结尾韵0、1串
正确答案及解析
正确答案
C
解析
被有限自动机所识别是指从初态开始到终态结束，所输入的字符串能够按顺序地执行下去，若到某个状态不能往下走得到下一个字符，则认为不能识别。
在本题中，从初态A出发，不管经过多少个1和0之后，只能是处在A、B、C三种状态中的一种，所以在(0|1)*后，只能是处在A、B、C三种状态中的一种，不管是在那个状态，输入0后，都会处在状态B，然后输入1，都会转换到状态C，因此与本题有限自动机等价的正规式是(0|1)*01，即该自动机所识别的字符串的特点是必须以01结尾的0、1串。
