算子式语言到过程语言的变换语义

算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言，如何编该类语言是一个应该研究的重要问题，过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程度向过程的转换，本文用模式匹配法，给出了算子式语言到ｗｈｉｌｅ程序的变换语义，给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础。