摘要
文章基于状态机来研究两个经典的安全渡河问题。首先,对问题进行细致的分析,归纳出渡河的物质条件和安全要求;接着,根据问题的内涵,精心设计状态的描述参数;然后,基于状态参数,将问题的条件和要求,转换为状态约束表达式、变迁约束表达式,分别用来确定状态图中可能的状态点、可能的变迁边;最后,绘制状态图,将原问题建模为图论问题——求连通图中两顶点之间的最短路径。
This paper demonstrates the steps and methods of analyzing, modeling and resolving two problems of crossing a river safely based on state machine. The parameters describe the states directly, and make the guard conditions simple and clear. In the process of modeling, we study the vertexes and the edges by two steps, and distinguish the conditions for states and the ones for transmissions.All these make it convenient tomodel the similar problems by computers.
出处
《信息化研究》
2012年第6期18-20,25,共4页
INFORMATIZATION RESEARCH
关键词
安全渡河问题
状态机
最短路径
problem of crossing a river safely
state machine
shortest path
