| Garment中的归约语义 |
| |
| 引用本文： | 郑红军,张乃孝.Garment中的归约语义[J].计算机研究与发展,1998,35(6):486-490. |
| |
| 作者姓名： | 郑红军 张乃孝 |
| |
| 作者单位： | 北京大学计算机科学与技术系 |
| |
| 摘 要： | 文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型。在此代数模型下讨论了归约语义及其性质，并给出了语言可归的充分条件。
|
| 关 键 词： | Grament 程序设计语言 归约语义 |
THE REDUCTION SEMANTICS IN GARMENT |
| |
| Zheng Hongjun and Zhang Naixiao.THE REDUCTION SEMANTICS IN GARMENT[J].Journal of Computer Research and Development,1998,35(6):486-490. |
| |
| Authors: | Zheng Hongjun and Zhang Naixiao |
| |
| Abstract: | The reduction semantics for programming languages in Garment is studied with an algebraic approach.The meaning of the reduction semantics in formal language theory is explained.And then an algebraic model for programming languages in Garment is proposed.The reduction semantics and its properties are discussed by using the algebraic model.Finally the sufficient conditions for reducible languages are given. |
| |
| Keywords: | Garment programming language reduction semantics signature term algebra |
| 本文献已被 CNKI 维普 等数据库收录！ |
