给定一个系统及其完整的状态空间，我可以说该状态空间是该系统行为的正式规范吗？
问问题
97 次
1 回答
3
除非您已经正式定义了所有可能的进出每个状态的转换，并且您的状态空间包含系统可能处于的所有可能状态。
在计算机系统的正式定义中，它还应该包括意外的转换，例如计算机崩溃。故障树分析可能有助于确保定义所有可能的状态。
见维基百科
于 2016-06-29T06:24:50.587 回答