智能卡的状态机理论基础

本节的目的是为智能卡应用的描述提供状态框图的介绍和摘要。 状态框图是一种图形,它表示一组状态以及这些状态间的关系。状态表示为结点,它们之间的关系则是连线。如果一根线指出某方向,这就是说在它的一端要有个箭头,则称之为有向线或有向图。箭头所指方向表明可能出现的状态转换,结点和连线在图形中的真实布局并不对框图起解释的作用。用连线连接的一系列结点被称作一条路径。如果第1个和最后一个结点是同一个而其间又多于一个结点,则此路径被称作回路。 这仅仅是图论的极小的一部分,但却是用来描述与智能卡应用有关的状态机所需的基本部分。图1即是用有向图和SDL框图对一状态框图的不同表示。 图1 状态