注册 登录
电子工程世界-论坛 返回首页 EEWORLD首页 频道 EE大学堂 下载中心 Datasheet 专题
ptwang的个人空间 https://home.eeworld.com.cn/space-uid-81502.html [收藏] [复制] [分享] [RSS]
日志

有限状态机(一)

已有 1711 次阅读2009-2-15 09:47

今天开始学习“有限状态机”。

        有限状态机(Finite State Machine)又称有限状态自动机或简称状态机,是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型

    

1

Opened

E: open door

close_door

2

Closed

E: close door

open_door

state

transition

transition condition

entry action

状态存储关于过去的信息,就是说:它反映从系统开始到现在时刻的输入变化。转移指示状态变更,并且用必须满足来确使转移发生的条件来描述它。动作是在给定时刻要进行的活动的描述。有多种类型的动作:

进入动作——在进入状态时进行

退出动作——在退出状态时进行

输入动作——依赖于当前状态和输入条件进行

转移动作——在进行特定转移时进行 

    FSM(有限状态机)可以使用上面图 1 那样的状态图(或状态转移图)来表示。此外可以使用多种类型的状态转移表。下面展示最常见的表示: 当前状态(B)和条件(Y)的组合指示出下一个状态(C)。完整的动作信息可以只使用脚注来增加。包括完整动作信息的 FSM 定义可以使用状态表 

状态转移表

 当前状态 ->
条件
状态 A

状态 B

状态 C

条件 X

 ...  ...  ...

条件 Y 

 ...

状态 C

 ...

条件 Z

 ...  ...  ...

    除了建模这里介绍的反应系统之外,有限状态自动机在很多不同领域中是重要的,包括电子工程语言学计算机科学哲学生物学数学逻辑学。有限状态机是在自动机理论计算理论中研究的一类自动机。在计算机科学中,有限状态机被广泛用于建模应用行为、硬件电路系统设计、软件工程,编译器、网络协议、和计算与语言的研究。

评论 (0 个评论)

facelist doodle 涂鸦板

您需要登录后才可以评论 登录 | 注册

热门文章