状态转移图是一种表明 的特性的图形。