下图所示的有限自动机中，SO是初始状态，S3为终止状态,该自动机不能识别( )。