中文摘要：

利用有穷自动机理论对＂企业车辆管理＂的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理的业务流程更加清晰.

英文摘要：

In this paper, the state transformations of the life cycle of the corporate vehicle management were described by finite automata. By analyzing the process of vehicle manage- ment, various business processes could be got and be described, which were more clearly to business processes of the vehicle management.