CFSM_1
2016-02-17 12:56:58 0 举报
CFSM_1是一种基于状态机的模型,用于描述复杂系统的行为。它由一组状态、一组事件和一组转移规则组成。状态表示系统的当前状态,事件表示触发系统行为的信号或条件,转移规则表示在特定条件下系统从一个状态转移到另一个状态的过程。通过使用CFSM_1模型,可以对系统进行建模、分析和设计,以确保其正确性和可靠性。此外,CFSM_1还可以用于验证系统的正确性,以确保其符合预期的行为。总之,CFSM_1是一种强大的工具,可以帮助开发人员更好地理解和控制复杂系统的行为。
作者其他创作
大纲/内容
*
'('
R-a•
2
R-(•R)R-•R|RR-•RRR-•R*R-•(R)R-•aR-•b
R
S-R•R-R•|RR-•RRR-R•RR-R•*R-•R|RR-•R*R-•(R)R-•aR-•b
R-R*•
S-R|•RR-•R|RR-•RRR-•R*R-•(R)R-•aR-•b
4
R-(R•)R-R•|RR-R•RR-•R|RR-•RRR-R•*R-•R*R-•(R)R-•aR-•b
11
'|'
R-b•
R-RR•R-R•|RR-R•RR-R•*R-•RRR-•R|RR-•R*R-•(R)R-•aR-•b
R-(R)•
1
8
6
9
7
')'
3
5
10
S-•RR-•R|RR-•RRR-•R*R-•(R)R-•aR-•b
*The paths to a and b are not shown in the graph.In fact all states except state 8 and 9 directs to 10/11 seperately
S-R|R•R-R•|RR-•RRR-R•RR-R•*R-•R*R-•(R)R-•aR-•b
0 条评论
下一页