智能卡的状态机理论基础

　　本节的目的是为智能卡应用的描述提供状态框图的介绍和摘要。

　　状态框图是一种图形，它表示一组状态以及这些状态间的关系。状态表示为结点，它们之间的关系则是连线。如果一根线指出某方向，这就是说在它的一端要有个箭头，则称之为有向线或有向图。箭头所指方向表明可能出现的状态转换，结点和连线在图形中的真实布局并不对框图起解释的作用。用连线连接的一系列结点被称作一条路径。如果第1个和最后一个结点是同一个而其间又多于一个结点，则此路径被称作回路。

　　这仅仅是图论的极小的一部分，但却是用来描述与智能卡应用有关的状态机所需的基本部分。图1即是用有向图和SDL框图对一状态框图的不同表示。

　　图1 状态框图的两种不同表示之例（左边是有向状态图，右边是等效的SDL框图）