代数语义学造句
例句与造句
- 非齐性代数是代数语义学的主要工具。
- 代数语义学始于对抽象数据类型的研究。
- 在这种思想指导下，用代数结构描述数据类型的语法，用公理体系描述数据类型的语义，就形成了完整的抽象数据类型，并出现了研究这种结构的代数语义学。
- 介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
- 而形式语义的研究自60年代以来虽有不少研究工作者从事这方面的工作，提出几种不同的语义理论，主要是操作语义学、指称语义学或称数学语义学、公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到实际计算中的新的语义学。
- 用代数语义学造句挺难的，這是一个万能造句的方法