数据类型及常数B状态定义C操作D初始状态正确ABCD有穷状态机要求表示对象应该有有限个状态