DFA模型及其语言的结构化代数规约

• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 代数规约技术 规约语言 有限自动机
• 年，卷（期）: 1999,（7）
• 页码范围: 38-41
• 页数: 4页
• 分类号: TP311
• 语种: 中文

摘要

该文首先阐述了利用DFA模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性.然后介绍了新一代具有松散语义的代数规约语言SPECTRUM及其主要规约操作符的语法和语义,并根据DFA模型及其语言的数学定义,给出了它们的结构化代数规约,为基于DFA模型的状态转换系统的形式化设计和开发奠定了基础