第1章 引言
20 多年以前，David Harel 创造了状态机理论来描述复杂的交互系统。随后，状态机理论赢得了广泛的接受，并且被引入到许多软件系统" title="软件系统">软件系统中，最突出的是被引入到UML 中作为其一个组成部分。
不过，状态机理论的发展却很缓慢。在众多原因中，状态机只是做为编程的实现工具而不是设计工具" title="设计工具">设计工具是一个最重要的原因。
本文的重点就在于，怎样利用状态机原理进行程序设计" title="程序设计">程序设计。本文会先给出普通的、一个平面上的FSM（有限状态机）的概念和实例，并指出其中的一些缺点，然后引出本文的重点HSM（层次状态机）的概念和设计方法" title="设计方法">设计方法。为了使本文既可以作为设计方法的参考，又可以作为实现方法的参考，本文会给出FSM 和HSM 的C 语言实现。
凡《网络安全与数据治理》（原《信息技术与网络安全》）录用的文章，如作者没有关于汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权等版权的特殊声明，即视作该文章署名作者同意将该文章的汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权授予本刊，本刊有权授权本刊合作数据库、合作媒体等合作伙伴使用。同时，本刊支付的稿酬已包含上述使用的费用，特此声明。
