A : 投币信号为输入逻辑变量,投入一枚5分硬币是用A=1表示,未投入时用 A=0表示;投入一枚2分硬币是用B=1表示,未投入时用B=0表示;投入一枚1分硬币是用C=1表示,未投入时用C=0表示。由于每次最多只能投入一枚硬币,因此除了ABC=000,ABC=001,ABC=010,ABC=100四种状态为合法状态,其它四种状态为非法状态。假设投入3个2分硬币或者投入4个1分硬币和1个2分硬币后,卖报机在给出报纸的同时会找会1个1分硬币。这是输出变量有两个,分别用Y和Z表示。给出报纸时Y=1,不给时Y=0;找回1个1分硬币时Z=1,不找时Z=0。同时假定未投币时卖报机的初始状态为S0,从开始到当前时刻共投入的硬币面值为1分记为S1,为2分时记为S2,为3分记为S3,为4分时记为S4。
由上面的分析可以画出该状态机的状态转换表,如下表所示:

状态图如下所示:
