结构推理 请将下图表示的传统状态图变换成MDS图及ASM流程图,并采用链接式的if-then-else语句写出它们的表达式。
【正确答案】传统的状态图中转移条件用二进制代码表示。而MDS图是用文字标注的状态图,其中的转移条件要用文字符号来表示。 例如在现态A时,当满足控制条件四种情况时,它的次态仍是A状态。现将二进制代码换成文字表示,即有 类似地,用,可以表示两种组合。对101,100两种组合,分别用表示。从而可得到MDS图,如下图所示。 ASM图则是流程图,如下图所示,它由状态框和条件判断框组成。 与题图对应,它应有A、B、C、D四个状态。设初始状态从A开始。在现态A时,如果采用二分支条件判断框,当时,次态仍将处在A状态;如果,则转人第2个条件判断框判断是否为真则次态转向B状态,为假则转人第3个条件判断框判断是否,如果,次态转向C状态;如果,次态转向D状态。 对应MDS图和ASM图,链接式的if-then-else语句表达式如下: if ! then A else if then B else if then C else D;
【答案解析】