一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。