我可以说状态 space 是某些系统行为的正式规范吗？
Can I say that a state space is a formal specification of some system's behaviour?
给定一个系统及其完整状态 space，我可以说该状态 space 是该系统行为的正式规范吗？
除非您正式定义了进出每个状态的所有可能转换，并且您的状态 space 包含系统可能处于的所有可能状态。
在计算机系统的正式定义中，还应包括计算机崩溃等意外转换。故障树分析可能有助于确保定义所有可能的状态。
给定一个系统及其完整状态 space，我可以说该状态 space 是该系统行为的正式规范吗？
除非您正式定义了进出每个状态的所有可能转换，并且您的状态 space 包含系统可能处于的所有可能状态。
在计算机系统的正式定义中，还应包括计算机崩溃等意外转换。故障树分析可能有助于确保定义所有可能的状态。