2018有穷自动机在车辆管理系统中的应用目 录背景与意义Background有穷自动机设计Finite automata论文总结Summary of paper参考文献Reference010203 0401背景与意义GENERAL VIEW背景与意义 车辆管理是企业日常管理不可缺少的组成部分，车辆在其使用过程的现状不断发生改变，因而使车辆管理具有很强的动态化特征。利用有穷自动机理论对“企业车辆管理”的生命周期状态转化进行了形式化描述。通过分析车辆管理的流程，得到了车辆管理所涉及的各项业务流程，并对各项业务进行了说明，可以使得车辆管理的业务流程更加清晰。02有穷自动机设计WORK COMPLETED有穷自动机设计 通过对车辆管理系统的需求分析，将车辆管理的全过程作为一个有穷自动机，记为 M = ( Q， ， q0， F) 。（1）将车辆在整个使用周期中可能出现的各种现状作为M的状态集Q； Q= “在生产厂家”，“空闲待用”，“出车运输”，“事故扣押” ，“故障在修”，“车检保养”，“加油站加油”，“公司加油” ， “借出”，“报废”；有穷自动机设计（2）将现有车辆管理的有关业务处理作为
