一个有限自动机识别的语言是一个无限集合，则该有限自动机的状态图一定含有回路。 ()此题为判断题(对，错)。