进口单位在进口那些涉及国家安全、环保、人类健康的旧机电产品以及大型二手成套设备时，必须在对外贸易合同中订明在出口国进行装运前检验、监装等条款。（）

【说明】
C市刚开通了地铁线，为方便乘客，计划开发自动售票系统。
该公司在每一个地铁站放置了多台自动售票机，每一台售票机有一唯一编号，售票记录统一汇总主机。自动售票机只发售从该站起始的各种地铁票，因此乘客只需输入目的站，起始站默认为该站，售票机给出从该站到达目的站的单程票。打印地铁票时为其编一个唯一的流水号，并同时打印自动售票机的编号及票价。
售票机的状态变化如下：“空闲”时，显示地铁线路图，等待乘客输入目的站；当乘客输入目的站后，转入“目的站确认/票数输入”状态，同时给出票价，此时若目的站有误，可返回到空闲状态重新输入，否则，输入票数；乘客输入票数后，转入“票数确认/付款”状态，同样此时若票数有误，可返回到上一状态重新输入，否则，投入钱币付款；当付款金额足够时，“出票/找零”(有必要时进行找零)；然后转入“空闲”等待输入目的站状态。
该系统采用面向对象方法开发，系统中的类及类之间的关系用UML类图表示，如图9-18所示是该系统类图的一部分，图9-19描述了自动售票机的状态转换图。

【问题3】
根据题中所述术语，指出图9-19中状态1到状态4分别是什么