一个有限自动机只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。 ()此题为判断题(对，错)。