论文部分内容阅读
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性，然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模型及其语言的数学定义，给出了它们的结构化代数规约，为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。