某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示，它是（）
A: 有穷状态机
B: Petri网
C: Z语言
D: 程序正确性证明
A: 有穷状态机
B: Petri网
C: Z语言
D: 程序正确性证明
举一反三
- 为了直观地分析系统的动作，从特定的视点出发推述系统的行为，需要采用动态分析的方法。其中（）本来是表达异步系统的控制规则的图形表示方法，现在已经广泛地应用于硬件与软件系统的开发中，它适用于描述与分析相互独立、协同操作的处理系统，也就是并发执行的处理系统。（）是描述系统的状态如何响应外部的信号进行推移的一种图形表示。 （）是描述系统的状态如何响应外部的信号进行推移的一种图形表示。 A: 状态迁移图 B: 时序图 C: Petri 网 D: 数据流图
- 状态迁移图是一种描述系统（）的有效的图形手段。 A: A状态 B: B状态随外部信号或事件进行迁移 C: C外部信号 D: D外部事件
- ——是属于程序正确性证明问题，它是利用数学方法证明程序的正确性。
- 有穷可以准确地描述一个系统,因此它是表达规格说明的一种形式化方法。
- 有穷状态机要求表示对象应该有有限个状态。