有限状态程序模型及其应用

A Finite State Program Model and Its Applications

工程实际中的大部分应用程序都可以用有限状态机来描述. 论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机. 并讨论了基于有限状态模型的程序框架生成和该模型的一些性质. 对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法.

most of the applications in practice of industry can be presented as finite state machines. This paper put forward a general finite state program model-that is finite state auto-machine. The program frame formation and the features of finite state model are discussed here. Therefore as to most special applied program and embedded system in industry, this model presents a precise, direct and unified principle with its development and maintainance.