SDL/GR中间语言的设计方法

摘要

SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.