状态迁移图分解方法

摘要

SDL状态迁移图分解方法,起始状态点A有n条输入弧、m条输出弧与中间状态点连接,把A分解为A’和A”;m条有向弧由A’指向中间状态点,n条有向弧由中间状态点指向A”。中间状态点B有k条自环绕弧、n条输入弧、m条输出弧,把B分解成B’和B”,n条输入弧由B’进入,m条输出弧由B”输出,并以k+2条有向弧连接B’和B”,其中k+1条方向由B’指向B”,1条方向由B”指向B’。这样便于计算机自动处理图形。

主权项

1、一种SDL状态迁移图分解方法，起始状态点A与终了状态点重合，且A有n条输入弧、m条输出弧与中间状态点连接，其特征在于：把起始状态点A分解为两个虚拟状态点A’和A”；m条有向弧由A’状态点指向中间状态点，n条有向弧由中间状态点指向A”状态点；即A’状态点只有m条输出弧，没有任何输入路径，而A”状态点只有n条输入弧，没有任何输出路径。