一种扩展有限状态机的语义模型,杨济,,本文介绍了一种扩展有限状态机的编程语义模型,该模型的特点是:(1)对于外部输入具有确定的反应;(2)由于模型内部线性空间的�