智能卡的状态机

状态机是自动机的一种类型,自动机的例子是售货机,当投人一元硬币并揿动按钮,即可打开一个小仓门并取得所选择的货物。 若用抽象的术语来描述上述过程:这一自动机规定了包含有不同状态转换的事件。在起始状态,自动机等待硬币的投人,任何其他动作,例如揿动按钮,都不会引起任何事情的发生。只有投入的硬币会使之从初始状态转换到“钱币已投入”的状态。下一次的转换是作为揿下按钮的结果而发生的,接着自动机允许仓门被打开。 在计算机科学中,状态机的变换可以用图解或Petri网络来表述清楚。这不仅对状态机的建模是有用的,也可用于研究所描述的系统的某些特性,其目的在于查明在操作时可能发生的死锁并保证对指令的处理