) 摘要: 本文介绍了一种扩展有限状态机的编程语义模型
可以通过模型的分层来分解问题
异构的嵌入其它计算模型
(4)可以在模型内部通过替换的方式
该模型的特点是:(1)对于外部输入具有确定的反应
(2)由于模型内部线性空间的存在可以大幅度减少状态的数量
总览 评价 杨济 * ( 清华大学计算机科学与技术系
[2006-06-02]
http://www
paper
edu
cn/releasepaper/content/200606-32
) 摘要: 本文介绍了一种扩展有限状态机的编程语义模型
该模型的特点是:(1)对于外部输入具有确定的反应
(2)由于模型内部线性空间的存在可以大幅度减少状态的数量
总览 评价 杨济 * ( 清华大学计算机科学与技术系
cn/releasepaper/content/200606-32