论文部分内容阅读
自动售货系统是一种典型的自动状态机。功能日趋复杂的自动售货系统中包括越来越多的状态变化，仅用传统方式难以胜任开发任务。通过对自动售货系统的研究，介绍一种基于自动机理论建立模型的方法，并采用该理论的相关计算方法对模型进行优化，从而得到结构紧凑，功能清晰的软件流程图。本文分别建立了系统的基本状态模型、销售模型和非现金支付模型，得到了各自的状态转移图。对于开发自动售货系统软件，使用本文介绍的方法不容易遗漏功能，而且能加快软件的开发进度。系统开发成功并投入实际应用，证明本文介绍的方法是有效可行的。